Runtime Exception Detection in Java Programs Using Symbolic Execution

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

zbMATH Keywords

symbolic executionJava runtime exceptionrule checking

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• CUTE
• DART
• Java PathFinder
• jEdit
• ArgoUML
• log4j
• JCrasher

This page was built for publication: Runtime Exception Detection in Java Programs Using Symbolic Execution