Dynamic analysis of java applications for multithreaded antipatterns (original) (raw)
Related papers
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
Antipattern-based detection of deficiencies in Java multithreaded software
Quality Software, 2004
JNuke: efficient dynamic analysis for Java
2004
Jeagle: a JAVA Runtime Verification tool
Applying static analysis to large-scale, multi-threaded Java programs
Proceedings 2001 Australian Software Engineering Conference, 2001
Static analysis of Java multithreaded and distributed applications
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
2007
Java-MaC: a Run-time Assurance Tool for Java Programs
Electronic Notes in Theoretical Computer Science, 2001
Event-based runtime verification of java programs
ACM SIGSOFT Software Engineering Notes, 2005
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design, 2004
Using SPIN for automated debugging of infinite executions of Java programs
2014
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design, 2004
No Java without caffeine: A tool for dynamic analysis of Java programs
… , 2002. Proceedings. ASE …, 2002
Trace-Driven Verification of Multithreaded Programs
Lecture Notes in Computer Science, 2010
Java memory model aware software validation
Dynamic data flow analysis for Java programs
Information and Software Technology, 2000
A model checker for Java bytecode, with novel applications
2017
Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation
Future Generation Computer Systems, 2001
Verifying temporal specifications of Java programs
Software Quality Journal
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st …, 1999
2003
Java Memory Model Aware Sofware Verification
2010
A runtime assertion checker for the Java Modeling Language (JML)
2002
A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Framework for testing multi-threaded Java programs
Concurrency and Computation: Practice and Experience, 2003
Abstracting Models from Execution Traces for Performing Formal Verification
Communications in Computer and Information Science, 2009
A local approach for temporal model checking of Java bytecode
Antonella Santone, gigliola vaglini
Journal of Computer and System Sciences, 2005
JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking