Automating software testing using program analysis

IEEE Software

Volumn 25, Issue 5, 2008, Pages 30-37

  Godefroid, Patrice ^a   de Halleux, Peli ^b   Nori, Aditya V ^c   Rajamani, Sriram K ^d   Schulte, Wolfram ^e   Tillmann, Nikolai ^f   Levin, Michael Y ^g  

^a UNIVERSITY OF LIÈGE   (Belgium)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^c INDIAN INSTITUTE OF SCIENCE   (India)

^d UNIVERSITY OF CALIFORNIA   (United States)

^e UNIVERSITY OF ULM   (Germany)

^f TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^g UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Automatic test generation; Computer bugs; Instruments; Performance analysis; Program verification; Reliability; Runtime; Security; Software; Software testing; Testing

Indexed keywords

APPLICATION PROGRAMS; AUTOMATIC PROGRAMMING; COMPUTER SOFTWARE; INSTRUMENT TESTING; INSTRUMENTS; LOGIC PROGRAMMING; MODEL CHECKING; PROGRAM DEBUGGING; RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY; TESTING;

AUTOMATIC TEST GENERATION; COMPUTER BUGS; PERFORMANCE ANALYSIS; PROGRAM VERIFICATION; RUNTIMES; SECURITY;

SOFTWARE TESTING;

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

References (14)

1. J. Larus et al., "Righting Software," IEEE Software, vol. 21, no. 3, May/June 2004, pp. 92-100.
2. J.C. King, "Symbolic Execution and Program Testing," J. ACM, vol. 19, no. 7, 1976, pp. 385-394.
3. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," Proc. Conf. Programming Language Design and Implementation (PLDI 05), ACM Press, 2005, pp. 213-223.
4. B. Korel, "A Dynamic Approach of Test Data Generation," Proc. IEEE Conf. Software Maintenance (ICSM 90), IEEE CS Press, 1990, pp. 311-317.
5. P. Godefroid, "Model Checking for Programming Languages Using VeriSoft," Proc. Ann. Symp. Principles of Programming Languages (POPL 97), ACM Press, 1997, pp. 174-186.
6. J.E. Forrester and B.P. Miller, "An Empirical Study of the Robustness of Windows NT Applications Using Random Testing," Proc. 4th Usenix Windows System Symp., Usenix Assoc., 2000, pp. 59-68.
7. P. Godefroid, M.Y. Levin, and D. Molnar, "Automated Whitebox Fuzz Testing," Proc. 15th Ann. Network and Distributed System Security Symp. (NDSS 08), Internet Society (ISOC), 2008; www.isoc.org/isoc/ conferences/ndss/08/papers/10_automated_whitebox_fuzz.pdf.
8. S. Bhansali et al., "Framework for Instruction-Level Tracing and Analysis of Programs," Proc. 2nd ACM/Usenix Int'l Conf. Virtual Execution Environments (VEE 06), ACM Press, 2006, pp. 154-163.
9. Y. Hamadi, Disolver: The Distributed Constraint Solver Version 2.44 tech. report, Microsoft Research, 2006; http:// research.microsoft.com/~youssefh/DisolverWeb/disolver.pdf.
10. S. Narayanasamy et al., "Automatically Classifying Benign and Harmful Data Races Using Replay Analysis," Proc. Conf. Programming Language Design and Implementation (PLDI 07), ACM Press, 2007, pp. 22-31.
11. N. Tillmann and W. Schulte, "Parameterized Unit Tests," Proc. 10th European Software Eng. Conf. and 13th ACM Sigsoft Int'l Symp. Foundations of Software Eng. (ESEC/Sigsoft FSE), ACM Press, 2005, pp. 241-244.
12. T. Ball and S.K. Rajamani, "Automatically Validating Temporal Safety Properties of Interfaces," Proc. 8th SPIN Workshop (SPIN 01), Springer, 2001, pp. 103-122.
13. N.E. Beckman et al., "Proofs from Tests," Proc. 2008 Int'l Symp. Software Testing and Analysis (ISSTA 08), ACM Press, 2008, pp. 3-14.
14. P. Godefroid, "Compositional Dynamic Test Generation," Proc. Ann. Symp. Principles of Programming Languages (POPL 07), ACM Press, 2007, pp. 47-54.