Efficient Detection of Errors in Java Components Using Random Environment and Restarts (original) (raw)
Related papers
Automated Construction of Reasonable Environment for Java Components
Electronic Notes in Theoretical Computer Science, 2009
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
Extended static checking for Java
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02, 2002
A generic approach of static analysis for detecting runtime errors in Java programs
Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032)
A runtime assertion checker for the Java Modeling Language (JML)
2002
A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
cs.umich.edu, 2010
Applying static analysis to large-scale, multi-threaded Java programs
Proceedings 2001 Australian Software Engineering Conference, 2001
Automatic Error Correction of Java Programs
Lecture Notes in Computer Science, 2010
Predictive Typestate Checking of Multithreaded Java Programs
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Restrictions on Concurrency in Model Checking of Java Programs
2000
A model checker for Java bytecode, with novel applications
2017
Checking JML specifications using an extensible software model checking framework
International Journal on Software Tools for Technology Transfer, 2006
Static analysis of Java multithreaded and distributed applications
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Specification and error pattern based program monitoring
2001
Locating bugs in Java programsfirst results of the Java diagnosis experiments project
Intelligent Problem Solving. …, 2000
CoMA: Conformance monitoring of Java programs by abstract state machines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012
Java-MaC: a Run-time Assurance Tool for Java Programs
Electronic Notes in Theoretical Computer Science, 2001
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design, 2004
The effect of uncontrolled concurrency on model checking
Concurrency and Computation: Practice and Experience, 2008
JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking
Design-time error detection using assertions
2003
Probabilistic Model Checking of Randomized Java Code
Model Checking Software, 2021
A local approach for temporal model checking of Java bytecode
Antonella Santone, gigliola vaglini
Journal of Computer and System Sciences, 2005
jMoped: A Test Environment for Java Programs
Lecture Notes in Computer Science, 2007
Java memory model aware software validation
Clash of the titans: tools and techniques for hunting bugs in concurrent programs
2009
Tapir: Language Support to Reduce the State Space in Model-Checking
2009
Aspect-Oriented Race Detection in Java
IEEE Transactions on Software Engineering, 2010
The humane bugfinder: Modular static analysis using a sat solver
2003
Finding faults in multi-threaded programs
2007