Retrofitting unit tests for parameterized unit testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 294-309

  Thummalapenta, Suresh ^a   Marri, Madhuri R ^a   Xie, Tao ^a   Tillmann, Nikolai ^b   De Halleux, Jonathan ^b  

^a North Carolina State University   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BRANCH COVERAGE; CLASS UNDER TESTS; CODE COVERAGE; COST AND BENEFITS; DETECTION CAPABILITY; EMPIRICAL STUDIES; OPEN-SOURCE; PARAMETERIZED; PARAMETERIZED UNIT TESTING; REAL-WORLD; UNIT TESTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT DETECTION; RETROFITTING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

EID: 79953227052     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_21     Document Type: Conference Paper

References (25)

1. Agitar JUnit Factory (2008), http://www.agitar.com/developers/junit- factory.html
2. Parasoft Jtest (2008), http://www.parasoft.com/jsp/products/home.jsp? product=Jtest
3. CodePro AnalytiX (2009), http://www.eclipse-plugins.info/eclipse/plugin- details.jsp?id=943
4. Pex - automated white box testing for .NET (2009), http://research. microsoft.com/Pex/
5. Code Contracts (2010), http://research.microsoft.com/en-us/projects/ contracts/
6. Pex Documentation (2010), http://research.microsoft.com/Pex/ documentation.aspx
7. Cansdale, J., Feldman, G., Poole, C., Two, M.: NUnit (2002), http://nunit.com/index.php
8. Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw. Pract. Exper. 34(11) (2004)
9. Daniel, B., Jagannath, V., Dig, D., Marinov, D.: ReAssert: Suggesting repairs for broken unit tests. In: Proc. ASE, pp. 433-444 (2009)
10. Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: Proc. PLDI, pp. 213-223 (2005)
11. Granville, B., Tongo, L.D.: Data structures and algorithms (2006), http://dsa.codeplex.com/
12. de Halleux, J.: Quickgraph, graph data structures and algorithms for .NET (2006), http://quickgraph.codeplex.com/
13. Jaygarl, H., Kim, S., Xie, T., Chang, C.K.: OCAT: Object capture-based automated testing. In: Proc. ISSTA, pp. 159-170 (2010)
14. Khurshid, S., Pasareanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 553-568. Springer, Heidelberg (2003)
15. King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385-394 (1976)
16. Marri, M.R., Xie, T., Tillmann, N., de Halleux, J., Schulte, W.: An empirical study of testing file-system-dependent software with mock objects. In: Proc. AST, Business and Industry Case Studies, pp. 149-153 (2009)
17. Meyer, B.: Object-Oriented Software Construction. Prentice Hall PTR, Englewood Cliffs (2000)
18. Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proc. ICSE. pp. 75-84 (2007)
19. Saff, D., Boshernitsan, M., Ernst, M.D.: Theories in practice: Easy-to-write specifications that catch bugs. Tech. Rep. MIT-CSAIL-TR-2008-002, MIT Computer Science and Artificial Intelligence Laboratory (2008), http://www.cs.washington.edu/homes/mernst/pubs/testing-theories-tr002-abstract. html
20. Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proc. ESEC/FSE, pp. 263-272 (2005)
21. Thummalapenta, S., Xie, T., Tillmann, N., de Halleux, P., Schulte, W.: MSeqGen: Object-oriented unit-test generation via mining source code. In: Proc. ESEC/FSE, pp. 193-202 (2009)
22. Tillmann, N., de Halleux, J.: Pex-white box test generation for .NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134-153. Springer, Heidelberg (2008)
23. Tillmann, N., Schulte, W.: Parameterized Unit Tests. In: Proc. ESEC/FSE, pp. 253-262 (2005)
24. Xie, T., Marinov, D., Notkin, D.: Rostra: A framework for detecting redundant object-oriented unit tests. In: Proc. ASE, pp. 196-205 (2004)
25. Xie, T., Tillmann, N., de Halleux, P., Schulte, W.: Mutation analysis of parameterized unit tests. In: Proc. Mutation, pp. 177-181 (2009)