Kádár István; Hegedűs Péter; Ferenc Rudolf:
Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors.
In:
Proceedings of the International Conference on Computational Science and Its Applications — ICCSA 2015.
Lecture Notes in Computer Science, 9159
.
Springer International Publishing, pp. 20-35.
(2015)
ISBN 978-3-319-21412-2
Előnézet |
Szöveg
kadar-symbolic-iccsa2015-camera-ready.pdf - Elfogadott verzió Download (283kB) | Előnézet |
Előnézet |
Szöveg
8391_borito_tartalom.pdf - Megjelent verzió Download (387kB) | Előnézet |
| Szerző azonosítók: |
|
|||
|---|---|---|---|---|
| Mű típusa: | Könyv része | |||
| Publikáció dátuma: | 2015 | |||
| Kötet: | 9159 | |||
| Oldalak: | pp. 20-35 | |||
| ISBN: | 978-3-319-21412-2 | |||
| Kiadó: | Springer International Publishing | |||
| Kar/Egység: | Természettudományi és Informatikai Kar | |||
| Intézmény: | Szegedi Tudományegyetem (2000-) | |||
| Nyelv: | angol | |||
| MTMT rekordazonosító: | 2972533 | |||
| DOI azonosító: | https://doi.org/10.1007/978-3-319-21413-9_2 | |||
| Kapcsolódó URL-ek: | ||||
| Dátum: | 2017. Jan. 12. 12:09 | |||
| Utolsó módosítás: | 2019. Máj. 15. 12:18 | |||
| URI: | http://publicatio.bibl.u-szeged.hu/id/eprint/8391 |
| Hivatkozások száma a Web of Science® -ben: 1 | Idéző cikkek megtekintése a Web of Science® felületén |
Actions (login required)
 |
Tétel nézet |
Repozitóriumi letöltési statisztika
Repozitóriumi letöltési statisztika
