Clash of the titans: tools and techniques for hunting bugs in concurrent programs (original) (raw)
Related papers
2007
Experience with a Concurrency Bugs Benchmark
2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008
CTPLAN: A Planning-based Approach To Automatically Detecting Flaws In Concurrent Algorithms
Proceedings., 6th Annual Knowledge-Based Software Engineering Conference, 1991
Automatically finding atomic regions for fixing bugs in Concurrent programs
arXiv (Cornell University), 2014
CHESS: A systematic testing tool for concurrent software
2007
Efficient testing of concurrent programs with abstraction-guided symbolic execution
2009
Race directed random testing of concurrent programs
2008
Comparative Assessment of Testing and Model Checking Using Program Mutation
Testing: Academic and …, 2007
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
Debugging of Concurrent Systems Using Counterexample Analysis
Fundamentals of Software Engineering
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
Variable and thread bounding for systematic testing of multithreaded programs
Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
Yarden Nir-buchbinder, Zdeněk Letko, Shmuel Ur
Lecture Notes in Computer Science, 2009
Finding concurrency-related bugs using random isolation
International Journal on Software Tools for Technology Transfer, 2011
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
2016
A method to localize faults in concurrent C programs
Journal of Systems and Software, 2017
VYRD: verifYing concurrent programs by runtime refinement-violation detection
2005
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
Electronic Notes in Theoretical Computer Science, 2007
Finding faults in multi-threaded programs
Static and precise detection of concurrency errors in systems code using SMT solvers
Computer Aided Verification, 2009
Trace Generation and Deterministic Execution for Concurrent Programs
2016
A meta heuristic for effectively detecting concurrency errors
2009
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
IEEE Access
May-happen-in-parallel analysis of x10 programs
Proceedings of the 12th …, 2007
Aspect-Oriented Race Detection in Java
IEEE Transactions on Software Engineering, 2010
SWORD: A Scalable Whole Program Race Detector for Java
2019
Concurrent Bug Detection Using Invariant Analysis
International Journal of Engineering & Technology
Procedia Computer Science, 2016
A Framework for Testing Concurrent Programs
Bugs and Debugging of Concurrent and Multicore Software
2016
Randomized active atomicity violation detection in concurrent programs
2008
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
2009
2007
2012
Classification of software defects in parallel programs
Usenix, 1994