Improved multithreaded unit testing

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 223-233

  Jagannath, Vilas ^a   Gligoric, Milos ^a   Jin, Dongyun ^a   Luo, Qingzhou ^a   Rosu G ^a   Marinov, Darko ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

IMUnit; Multithreaded code; Unit testing

Indexed keywords

CONTROL TESTS; EVENT-BASED; FALSE POSITIVE; HIGH PRECISION; IMUNIT; INFERENCE TECHNIQUES; MULTIPLE THREADS; MULTITHREADED; NOVEL TECHNIQUES; TEST EXECUTION; TESTING TIME; TOOL USE; UNIT TESTING;

SLEEP RESEARCH; SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

EID: 80053202644     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025145     Document Type: Conference Paper

References (28)

1. A. V. Aho, M. R. Garey, and J. D. Ullman. The transitive reduction of a directed graph. SIAM Journal on Computing, 1972.
2. R. Alur, P. Cerńy, M. Parthasarathy, and W. Nam. Synthesis of interface specifications for Java classes. In POPL, 2005.
3. G. Ammons, R. Bod́ik, and J. R. Larus. Mining specifications. In POPL, 2002.
4. Apache Software Foundation. Apache Commons Collections. http://commons.apache.org/collections/.
5. Apache Software Foundation. Apache Commons Pool. http://commons.apache. org/pool/.
6. Apache Software Foundation. Apache Lucene. http://lucene.apache.org/.
7. Apache Software Foundation. Apache MINA. http://mina.apache.org/.
8. J. Burnim and K. Sen. DETERMIN: Inferring likely deterministic specifications of multithreaded programs. In ICSE, 2010.
9. R. H. Carver and K. Tai. Replay and testing for concurrent programs. IEEE Software, 1991.
10. F. Chen and G. Ro̧su. Mop: An efficient and generic runtime verification framework. In OOPSLA, 2007.
11. Codehaus. Sysunit. http://docs.codehaus.org/display/SYSUNIT/Home.
12. S. Cotton. graphlib. http://www-verimag.imag.fr/∼cotton/.
13. A. Dantas, F. V. Brasileiro, and W. Cirne. Improving automated testing of multi-threaded software. In ICST, 2008.
14. J. Huang, P. Liu, and C. Zhang. LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs. In FSE, 2010.
15. V. Jagannath, M. Gligoric, D. Jin, G. Rosu, and D. Marinov. IMUnit: Improved multithreaded unit testing (position statement). In IWMSE, 2010.
16. V. Jagannath, Q. Luo, and D. Marinov. Change-aware preemption prioritization. In ISSTA, 2011.
17. Java Community Process. JSR 166: Concurrency utilities. http://g.oswego.edu/dl/concurrency-interest/.
18. JBoss Community. JBoss Cache. http://www.jboss.org/jbosscache.
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP, 2001.
20. Lassi Project. Sleep testcase. http://tinyurl.com/4hk9zdr.
21. C. Lee, F. Chen, and G. Ro̧su. Mining parametric specifications. In ICSE, 2011.
22. B. Long, D. Hoffman, and P. A. Strooper. A concurrency test tool for Java monitors. In ASE, 2001.
23. B. Long, D. Hoffman, and P. A. Strooper. Tool support for testing concurrent Java components. IEEE TSE, 2003.
24. P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Ro̧su. An overview of the MOP runtime verification framework. Springer STTT, 2011.
25. W. Pugh and N. Ayewah. MultithreadedTC - A framework for testing concurrent Java applications. http://code.google.com/p/multithreadedtc/.
26. W. Pugh and N. Ayewah. Unit testing concurrent software. In ASE, 2007.
27. M. Ricken and R. Cartwright. ConcJUnit: Unit testing for concurrent programs. In PPPJ, 2009.
28. K. Tai and R. H. Carver. Use of sequencing constraints for specifying, testing, and debugging concurrent programs. In ICPADS, 1994.