Efficient testing of concurrent programs with abstraction-guided symbolic execution (original) (raw)
Related papers
BEST: A symbolic testing tool for predicting multi-threaded program failures
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Systematic Testing of Multithreaded Programs
1999
A meta heuristic for effectively detecting concurrency errors
2009
Clash of the titans: tools and techniques for hunting bugs in concurrent programs
2009
Static and precise detection of concurrency errors in systems code using SMT solvers
Computer Aided Verification, 2009
Variable and thread bounding for systematic testing of multithreaded programs
Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013
Concurrency testing using symbolic path finder
International Journal of Engineering & Technology
CTPLAN: A Planning-based Approach To Automatically Detecting Flaws In Concurrent Algorithms
Proceedings., 6th Annual Knowledge-Based Software Engineering Conference, 1991
Trace-Driven Verification of Multithreaded Programs
Lecture Notes in Computer Science, 2010
Race directed random testing of concurrent programs
2008
VYRD: verifYing concurrent programs by runtime refinement-violation detection
2005
Trace Generation and Deterministic Execution for Concurrent Programs
2016
Detecting errors in multithreaded programs by generalized predictive analysis of executions
2005
Abstract Analysis of Symbolic Executions
Lecture Notes in Computer Science, 2010
Automatic detection of concurrency bugs through event ordering constraints
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, 2014
Unfolding based automated testing of multithreaded programs
Automated Software Engineering, 2014
Symbolic execution with abstraction
International Journal on Software Tools for Technology Transfer, 2008
Finding faults in multi-threaded programs
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
2006
Automatically finding atomic regions for fixing bugs in Concurrent programs
arXiv (Cornell University), 2014
Symbolic predictive analysis for concurrent programs
Formal Aspects of Computing, 2011
A Framework for Testing Concurrent Programs
CHESS: A systematic testing tool for concurrent software
2007
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
Debugging of Concurrent Systems Using Counterexample Analysis
Fundamentals of Software Engineering
Under-Constrained Symbolic Execution: Correctness Checking for Real Code
2015
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible
Directed incremental symbolic execution
Proceedings of the 32nd …, 2011
A method to localize faults in concurrent C programs
Journal of Systems and Software, 2017
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Concurrent runtime monitoring of formally specified programs
Computer, 1993
Towards locating execution omission errors
2007
Constraint Solving for Diagnosing Concurrency Bugs
2015
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
Lecture Notes in Computer Science, 2007
Software Model Checking with Explicit Scheduler and Symbolic Threads
Logical Methods in Computer Science, 2012