Predictive Typestate Checking of Multithreaded Java Programs (original) (raw)
Related papers
Detecting errors in multithreaded programs by generalized predictive analysis of executions
2005
Automated type-based analysis of data races and atomicity
2005
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
2005
Aspect-Oriented Race Detection in Java
IEEE Transactions on Software Engineering, 2010
Finding faults in multi-threaded programs
Applying static analysis to large-scale, multi-threaded Java programs
Proceedings 2001 Australian Software Engineering Conference, 2001
A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
cs.umich.edu, 2010
Data Race Detection Techniques In Java: A Comparative Study
International Journal of Scientific & Technology Research, 2020
Antipattern-based detection of deficiencies in Java multithreaded software
Quality Software, 2004
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)
2ndStrike: toward manifesting hidden concurrency typestate bugs
2011
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Lecture Notes in Computer Science, 2010
Static analysis of Java multithreaded and distributed applications
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
Optimized Run-Time Race Detection and Atomicity Checking Using Partial Discovered Types
Proceedings of the 20th …, 2005
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
A type system for preventing data races and deadlocks in the java virtual machine language
ACM SIGPLAN Notices, 2007
SWORD: A Scalable Whole Program Race Detector for Java
2019
Detecting concurrency bugs in higher-order programs through abstract interpretation
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15, 2015
Type Systems Based Data Race Detector
Computer and Information Science, 2012
Framework for testing multi-threaded Java programs
Concurrency and Computation: Practice and Experience, 2003
A meta heuristic for effectively detecting concurrency errors
2009
Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation
Future Generation Computer Systems, 2001
2007
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st …, 1999
Variably interprocedural program analysis for runtime error detection
Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07, 2007
A Uniform Classification of Common Concurrency Errors
Lecture Notes in Computer Science, 2012
A classification of concurrency bugs in java benchmarks by developer intent
Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06, 2006
CoMA: conformance monitoring of java programs by abstract state machines
2012
Coping with the reality: adding crucial features to a typestate-oriented language
2021
Specification and error pattern based program monitoring
2001
Locating bugs in Java programsfirst results of the Java diagnosis experiments project
Intelligent Problem Solving. …, 2000
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
Lecture Notes in Computer Science, 2007
Dynamic analysis of java applications for multithreaded antipatterns
Proceedings of the third international workshop on Dynamic analysis - WODA '05, 2005
Detecting deadlock in programs with data-centric synchronization
2013 35th International Conference on Software Engineering (ICSE), 2013