CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (original) (raw)
Related papers
A Framework for Testing Concurrent Programs
Framework for testing multi-threaded Java programs
Concurrency and Computation: Practice and Experience, 2003
A Survey of Recent Trends in Testing Concurrent Software Systems
IEEE Transactions on Software Engineering, 2017
Race directed random testing of concurrent programs
2008
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
ConcJUnit: Unit Testing for Concurrent Programs
Multithreaded Java program test generation
IBM Systems Journal, 2000
Testing concurrent programs to achieve high synchronization coverage
… on Software Testing and …, 2012
Nekara: Generalized Concurrency Testing
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Framework For Testing Java Concurrency by
2010
Concurrent software testing in practice: a catalog of tools
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015, 2015
CHESS: A systematic testing tool for concurrent software
2007
A platform for search-based testing of concurrent software
Bohuslav Krena, Zdeněk Letko, Shmuel Ur
Proceedings of the 8th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '10, 2010
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
Lecture Notes in Computer Science, 2007
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
Electronic Notes in Theoretical Computer Science, 2013
Groundwork for the Development of Testing Plans for Concurrent Software}
2010
Systematic Testing of Multithreaded Programs
1999
A survey on testing concurrent and multi-threaded applications tools and methodologies
IEEE Access, 2021
Finding faults in multi-threaded programs
Randomized active atomicity violation detection in concurrent programs
2008
Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs
2007
Towards a framework and a benchmark for testing tools for multi-threaded programs
Concurrency and Computation: Practice and Experience, 2007
Goldilocks: a race and transaction-aware java runtime
2007
Combining Static Analysis and Testing for Deadlock Detection
Lecture Notes in Computer Science, 2016
Testing concurrent programs on relaxed memory models
Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011
Concurrency testing using symbolic path finder
International Journal of Engineering & Technology
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
2005
A State Exploration-Based Approach to Testing Java Monitors
2006 17th International Symposium on Software Reliability Engineering, 2006
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms
Simone Do Rocio Senger De Souza
Procedia Computer Science, 2013
Clash of the titans: tools and techniques for hunting bugs in concurrent programs
2009