Parameterized unit tests with unit meister

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 241-244

  Tillmann, Nikolai ^a   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Algebraic data types; Automatic test input generation; Constraint solving; Symbolic execution; Unit testing

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); COMPUTER SIMULATION; CONSTRAINT THEORY; INTERFACES (COMPUTER); PARAMETER ESTIMATION;

ALGEBRAIC DATA TYPES; AUTOMATIC TEST INPUT GENERATION; CONSTRAINT SOLVING; SYMBOLIC EXECUTION; UNIT TESTING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 32344448214     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095430.1081745     Document Type: Conference Paper

References (21)

1. F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. BZ-TT: A tool-set for test generation from Z and B using contraint logic programming. In R. Hierons and T. Jerron, editors, Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR'02, pages 105-120. INRIA Report, August 2002.
2. G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Softw. Eng. J., 6(6):387-405, 1991.
3. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis, pages 123-133, 2002.
4. A. D. Brucker and B. Wolff. Symbolic test case generation for primitive recursive functions. In J. Grabowski and B. Nielsen, editors, FATES, volume 3395 of Lecture Notes in Computer Science, pages 16-32. Springer, 2004.
5. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Softw. Pract. Exper., 30(7):775-802, 2000.
6. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34:1025-1050, 2004.
7. C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining static checking and testing. In 27th International Conference on Software Engineering, May 2005. To appear.
8. D. Detlefs, G. Nelson, and J. Saxe. Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs, Palo Alto, CA, USA, 2003.
9. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Industrial Strength Formal Methods, Formal Methods Europe (FME'93), Proceedings, volume 670 of LNCS, pages 268-284. Springer, 1993.
10. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proc. the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 234-245. ACM Press, 2002.
11. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. SIGPLAN Notices, 40(6):213-223, 2005.
12. W. Grieskamp, N. Tillmann, and W. Schulte. XRT Exploring Runtime for . NET - Architecture and Applications. In Proc. 3rd SoftMC, 2005. To appear.
13. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
14. D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of Java programs. In Proc. 16th IEEE International Conference on Automated Software Engineering, pages 22-31, 2001.
15. Microsoft. Visual Studio 2005 Team System. http://lab.msdn.microsoft.com/teamsystem/.
16. J. W. Newkirk and A. A. Vorontsov. Test-Driven Development in Microsoft .NET. Microsoft Press, Apr. 2004.
17. NUnit development team. NUnit. http://www.nunit.org/.
18. Parasoft. Jtest manuals version 5.1. Online manual, July 2004. http://www.parasoft.com/.
19. Testing, Verification and Measurement, Microsoft Research. Zap theorem prover. http://research.microsoft.com/tvm/.
20. N. Tillmann and W. Schulte. Parameterized unit tests. In Proc. 13th International Symposium on Foundations of Software Engineering, 2005. To appear.
21. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In Proc. 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 97-107, 2004.