Symbolic predictive analysis for concurrent programs (original) (raw)
Related papers
Abstract Analysis of Symbolic Executions
Lecture Notes in Computer Science, 2010
Detecting errors in multithreaded programs by generalized predictive analysis of executions
2005
Static and precise detection of concurrency errors in systems code using SMT solvers
Computer Aided Verification, 2009
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
2006
Efficient testing of concurrent programs with abstraction-guided symbolic execution
2009
Generating data race witnesses by an smt-based analysis
2011
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
ACM SIGSOFT Software Engineering …, 1998
BEST: A symbolic testing tool for predicting multi-threaded program failures
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Symbolic Execution with Abstract Subsumption Checking
Model Checking Software, 2006
Verifying Concurrent Programs via Bounded Context-Switching and Induction
2011
Symbolic execution with abstraction
International Journal on Software Tools for Technology Transfer, 2008
May-happen-in-parallel analysis of x10 programs
Proceedings of the 12th …, 2007
Trace-Driven Verification of Multithreaded Programs
Lecture Notes in Computer Science, 2010
Automated inference of atomic sets for safe concurrent execution
Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering - PASTE '13, 2013
Trace Generation and Deterministic Execution for Concurrent Programs
2016
Under-Constrained Symbolic Execution: Correctness Checking for Real Code
2015
Verification of the Java Causality Requirements
Lecture Notes in Computer Science, 2006
Online efficient predictive safety analysis of multithreaded programs
International Journal on Software Tools for Technology Transfer, 2006
Automatic detection of concurrency bugs through event ordering constraints
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, 2014
Debugging of Concurrent Systems Using Counterexample Analysis
Fundamentals of Software Engineering
Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs
2009
Interleaved Programs and Rely-Guarantee Reasoning with ITL
2011
Reducing concurrent analysis under a context bound to sequential analysis
Formal Methods in System Design, 2009
Redundant State Detection for Dynamic Symbolic Execution
Towards locating execution omission errors
2007
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Using symbolic execution for verifying safety-critical systems
ACM Sigsoft Software Engineering Notes, 2001
Effective Verification for Low-Level Software with Competing Interrupts
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications, 2016
Runtime Analysis of Linear Temporal Logic Specifications
2001
Memory models in symbolic execution: key ideas and new thoughts
Software Testing, Verification and Reliability, 2019
An Interleaving Reduction for Reachability Checking in Symbolic Modeling
2015