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 |
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 |
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 |