JNuke: Efficient dynamic analysis for Java

DOI10.1007/978-3-540-27813-9_37MaRDI QIDQ5312927zbMATH OpenOpenAlexFDO

Authors Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal analysis of Java programs in JavaFAN
• Bytecode model checking: An experimental analysis
• Dynamic frames in Java dynamic logic
• Bytecode verification by model checking
• Model Checking Software

Cited in

(4)

• ADiJaC -- Automatic Differentiation of Java Classfiles
• JNuke
• Formal analysis of Java programs in JavaFAN
• Combining test case generation and runtime verification

Describes a project that uses

Uses Software

• Bogor
• Bandera
• veriSoft
• Eraser

This page was built for publication: JNuke: Efficient dynamic analysis for Java

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