Software
-
IMUnit: Improved unit testing of multithreaded code
-
ReEx: Re-execution based exploration of multithreaded programs
-
UDITA: Test generation using declarative and imperative test abstractions
-
ReAssert: Automated repair of test assertions
-
ASTGen: Test generation using imperative test abstractions
