Runtime Exception Detection in Java Programs Using Symbolic Execution
From MaRDI portal
Publication:2937545
DOI10.14232/ACTACYB.21.3.2014.4zbMath1313.68025OpenAlexW2407677063MaRDI QIDQ2937545
István Kádár, Rudolf Ferenc, Peter Hegedűs
Publication date: 9 January 2015
Published in: Acta Cybernetica (Search for Journal in Brave)
Full work available at URL: http://publicatio.bibl.u-szeged.hu/3920/1/SPLST13_publikacio.pdf
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Uses Software
This page was built for publication: Runtime Exception Detection in Java Programs Using Symbolic Execution