Runtime Exception Detection in Java Programs Using Symbolic Execution

DOI10.14232/ACTACYB.21.3.2014.4zbMATH Open1313.68025OpenAlexW2407677063MaRDI QIDQ2937545FDOQ2937545

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

Recommendations

• Model Checking Software
• Publication:2729949
• Publication:2753764
• scientific article; zbMATH DE number 1692946

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)

Cited In (1)

• Title not available (Why is that?)

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)