Runtime Exception Detection in Java Programs Using Symbolic Execution

Elmentve itt :
Bibliográfiai részletek
Szerzők: Kádár István
Hegedűs Péter
Ferenc Rudolf
Testületi szerző: Proceedings of the 13th Symposium on Programming Languages and Software Tools
Dokumentumtípus: Cikk
Megjelent: Szegedi Tudományegyetem 2014
Sorozat:SPLST '13 21 No. 3
Acta Cybernetica (Szeged) 21 No. 3
doi:10.14232/actacyb.21.3.2014.4

mtmt:2853780
Online Access:http://publicatio.bibl.u-szeged.hu/8402