Testing concurrent programs to achieve high synchronization coverage (original) (raw)
Related papers
Applications of synchronization coverage
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05, 2005
A Framework for Testing Concurrent Programs
Groundwork for the Development of Testing Plans for Concurrent Software}
2010
Coverage guided systematic concurrency testing
2011
Multithreaded Java program test generation
IBM Systems Journal, 2000
Framework for testing multi-threaded Java programs
Concurrency and Computation: Practice and Experience, 2003
Concurrent Defects and Test Coverage Criteria
Journal of Software
ConcJUnit: Unit Testing for Concurrent Programs
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
2009
A Survey of Recent Trends in Testing Concurrent Software Systems
IEEE Transactions on Software Engineering, 2017
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
Race directed random testing of concurrent programs
2008
Software Testing, Verification and Reliability, 2015
Systematic Testing of Multithreaded Programs
1999
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
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics
2017
Variable and thread bounding for systematic testing of multithreaded programs
Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013
Nekara: Generalized Concurrency Testing
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Science of Computer Programming, 2013
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
Lecture Notes in Computer Science, 2007
CHESS: A systematic testing tool for concurrent software
2007
A Comparative Study on Test Case Generation of Concurrent Programs
World Journal of Engineering and Technology
Statement-Coverage Testing for Nondeterministic Concurrent Programs
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
Lecture Notes in Computer Science, 2006
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
Electronic Notes in Theoretical Computer Science, 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
Trace Generation and Deterministic Execution for Concurrent Programs
2016
2002
Mas Brito, Simone Do Rocio Senger De Souza
Procedia Computer Science, 2013
Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs
2007
A Search-Based Test Data Generation Method for Concurrent Programs
International Journal of Computational Intelligence Systems, 2020