Data flow analysis for checking properties of concurrent Java programs (original) (raw)
Related papers
Dynamic data flow analysis for Java programs
Information and Software Technology, 2000
Flow Analysis for Verifying Specifications of Concurrent and Distributed Software
1999
Static analysis of Java multithreaded and distributed applications
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Anomaly detection in concurrent Java programs using dynamic data flow analysis
2001
Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
2000
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
ACM SIGSOFT Software Engineering …, 1998
Applying static analysis to large-scale, multi-threaded Java programs
Proceedings 2001 Australian Software Engineering Conference, 2001
Restrictions on Concurrency in Model Checking of Java Programs
2000
A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs
Flow Java: Declarative Concurrency for Java
Christian Schulte, Seif Haridi
Lecture Notes in Computer Science, 2003
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
Lecture Notes in Computer Science, 1999
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Lecture Notes in Computer Science, 1999
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
2010 17th Working Conference on Reverse Engineering, 2010
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper
2008
2007
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent
Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange - eclipse '03, 2003
Analysis of Static Data Flow Structures
A structured approach for developing concurrent programs in Java
Information Processing Letters, 1999
Control and Data Flow Execution of Java Programs
ArXiv, 2017
Concurrency - state models and Java programs (2. ed.)
2006
Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs
2009
Verifying temporal specifications of Java programs
Software Quality Journal
Runtime verification of concurrency-specific correctness criteria
International Journal on Software Tools for Technology Transfer, 2012
A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
cs.umich.edu, 2010
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design, 2004
Design for verification for concurrent and distributed programs
2005
Concurrency analysis in the presence of procedures using a data-flow framework
Proceedings of the symposium on Testing, analysis, and verification - TAV4, 1991
Synchronizing Java threads using assertions
Technology of Object- …, 1999
JNuke: Efficient Dynamic Analysis for Java
Computer Aided Verification, 2004