Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors

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

[thumbnail of kadar-symbolic-iccsa2015-camera-ready.pdf]
Előnézet
Szöveg
kadar-symbolic-iccsa2015-camera-ready.pdf - Elfogadott verzió

Download (283kB) | Előnézet
[thumbnail of 8391_borito_tartalom.pdf]
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 Tétel nézet

Letöltések

Letöltések havi bontásban az elmúlt egy évben