CalFuzzer: An extensible active testing framework for concurrent programs. Active testing has recently been introduced to effectively test concurrent programs. Active testing can quickly discover real data races, deadlocks, and atomicity violations. Active testing works in two phases. It first uses imprecise off-the-shelf static or dynamic program analyses to identify potential concurrency bugs, such as data races, deadlocks, and atomicity violations. In the second phase, active testing uses the reports from these imprecise analyses to explicitly control the underlying scheduler of the concurrent program to accurately and quickly discover real concurrency bugs, if any, with very high probability and little overhead. CalFuzzer implements an extensible framework for active testing of Java programs.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
- Sun, Haiyang; Zheng, Yudi; Bulej, Lubomír; Kell, Stephen; Binder, Walter: Analyzing distributed multi-platform Java and Android applications with ShadowVM (2015) ioport
- Martin, Jean-Phillipe; Hicks, Michael; Costa, Manuel; Akritidis, Periklis; Castro, Miguel: Dynamically checking ownership policies in concurrent C/C++ programs (2010)
- Joshi, Pallavi; Naik, Mayur; Park, Chang-Seo; Sen, Koushik: CalFuzzer: an extensible active testing framework for concurrent programs (2009) ioport