Search For:

Displaying 1-3 out of 3 total
Predictable and Progressive Testing of Multithreaded Code
Found in: IEEE Software
By Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
Issue Date:May 2011
pp. 75-83
Developing concurrent software is hard. Testing concurrent software is harder. Although sequential program testing has many useful concepts, techniques, and tools (for example, assertions, unit testing, test-driven development, code coverage, and test gene...
Bounded partial-order reduction
Found in: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (OOPSLA '13)
By Katherine E. Coons, Kathryn S. McKinley, Madan Musuvathi
Issue Date:October 2013
pp. 833-848
Eliminating concurrency errors is increasingly important as systems rely more on parallelism for performance. Exhaustively exploring the state-space of a program's thread interleavings finds concurrency errors and provides coverage guarantees, but suffers ...
Systematic concurrency testing using CHESS
Found in: Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging (PADTAD '08)
By Madan Musuvathi
Issue Date:July 2008
pp. 1-1
Concurrency testing should aim for systematic coverage of thread interleavings. The most common method used today is stress testing, where the program is run under load with lots of threads. While this indirectly increases the variety of thread interleavin...