ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools
暂无分享,去创建一个
[1] Klaus Havelund,et al. Benchmark and framework for encouraging research on multi-threaded testing tools , 2003, Proceedings International Parallel and Distributed Processing Symposium.
[2] Wilson C. Hsieh,et al. Runtime aspect weaving through metaprogramming , 2002, AOSD '02.
[3] Klaus Havelund,et al. Towards a framework and a benchmark for testing tools for multi-threaded programs: Research Articles , 2007 .
[4] Shmuel Ur,et al. Multi-threaded Testing with AOP Is Easy, and It Finds Bugs! , 2005, Euro-Par.
[5] Eitan Farchi,et al. Applications of synchronization coverage , 2005, PPoPP.
[6] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[7] Jim Shore,et al. Fail Fast , 2004, IEEE Softw..
[8] Jong-Deok Choi,et al. Deterministic replay of Java multithreaded applications , 1998, SPDT '98.
[9] Klaus Havelund,et al. Towards a framework and a benchmark for testing tools for multi‐threaded programs , 2007, Concurr. Comput. Pract. Exp..
[10] Armin Biere,et al. High‐level data races , 2003, Softw. Test. Verification Reliab..
[11] Scott D. Stoller,et al. Model-checking multi-threaded distributed Java programs , 2000, International Journal on Software Tools for Technology Transfer.
[12] Shmuel Ur,et al. Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ , 2007, TV@FLoC.
[13] Eitan Farchi,et al. Multithreaded Java program test generation , 2001, JGI '01.