Runtime Exception Detection in Java Programs Using Symbolic Execution

DOI10.14232/ACTACYB.21.3.2014.4MaRDI QIDQ2937545zbMATHOpenAlexFDO

Authors István Kádár, P. Hegedüs, Rudolf Ferenc

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

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

Recommendations

• Model Checking Software
• scientific article; zbMATH DE number 1630122
• scientific article; zbMATH DE number 1670563
• scientific article; zbMATH DE number 1692946

Cited in

(1)

• scientific article; zbMATH DE number 1630122 (Why is no real title available?)

Describes a project that uses

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937545)