Unit tests reloaded: Parameterized unit testing with symbolic execution

IEEE Software

Volumn 23, Issue 4, 2006, Pages 38-47

  Tillmann, Nikolai ^a   Schulte, Wolfram ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85008060899     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2006.117     Document Type: Article

References (11)

1. G. Venolia, R. DeLine, and T. LaToza, Software Development at Microsoft Observed, tech, report MSR-TR-2005-140, Microsoft Research, 2005.
2. K. Beck, Extreme Programming Explained: Embrace Change, Addison-Wesley, 2001.
3. K. Beck, Test-Driven Development: By Example, Addi-son-Wesley, 2002.
4. N. Tillmann and W. Schulte, “Parameterized Unit Tests,” Proc. 10th European Software Eng. Conf., ACM Press, 2005, pp. 253–262.
5. F. Cheng, N. Tillmann, and W. Schulte, Discovering Specifications, tech, report MSR-TR-2005-146, Microsoft Research, 2005.
6. J.C. King, “Symbolic Execution and Program Testing,” Comm. ACM, vol. 19, no. 7, 1976, pp. 385–394.
7. W. Visser, C.S. Pasareanu, and S. Khurshid, “Test Input Generation with Java PathFinder,” Proc. 2004 ACM sigsoft Int’l Symp. Software Testing and Analysis (issta 04), ACM Press, 2004, pp. 97–107.
8. W. Grieskamp, N. Tillmann, and W. Schulte, “XRT—Exploring Runtime for .NET Architecture and Applications,” Electronic Notes in Theoretical Computer Science, vol. 144, no. 3, 2005, pp. 3–26.
9. K. Sen, D. Marinov, and G. Agha, “CUTE: A Concolic Unit Testisg Engine for C,” Proc. 10th European Software Eng. Conf., ACM Press, 2005, pp. 263–272.
10. M. Barnett, R. Leino, and W. Schulte, “The Spec# Programming System: An Overview,” Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, LNCS 3362, Springer, 2004, pp. 49–69.
11. W.R. Bush, J.D. Pincus, and D.J. Sielaff, “A Static Analyzer for Finding Dynamic Programming Errors,” Software: Practice and Experience, vol. 30, no. 7, 2000, pp. 775–802.