Heuristics for scalable dynamic test generation

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 443-446

  Burnim, Jacob ^a   Sen, Koushik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATE; BRANCH COVERAGES; COMBINATORIAL EXPLOSIONS; CONCOLIC TESTING; CONTROL FLOW GRAPHS; DEPTH-FIRST SEARCHES; DYNAMIC TESTS; HEURISTIC SEARCH STRATEGIES; LARGE PROGRAMS; LINES OF CODES; NOVEL STRATEGIES; OPEN SOURCES; PATH SPACES; SOFTWARE SYSTEMS; SOFTWARE TOOLS; SYMBOLIC EXECUTIONS; TEST INPUTS;

CODES (SYMBOLS); COMPUTER SOFTWARE; CONCURRENCY CONTROL; HEURISTIC METHODS; HEURISTIC PROGRAMMING; SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

EID: 56249135986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.69     Document Type: Conference Paper

References (12)

1. D. Bird and C. Munoz, "Automatic Generation of Random Self-Checking Test Cases," IBM Systems Journal, vol. 22, no. 3, pp. 229-245, 1983.
2. J. E. Forrester and B. P. Miller, "An Empirical Study of the Robustness of Windows NT Applications Using Random Testing," in Proceedings of the 4th USENIX Windows System Symposium, 2000.
3. C. Csallner and Y. Smaragdakis, "JCrasher: an automatic robustness tester for Java," Software: Practice and Experience, vol. 34, pp. 1025-1050, 2004.
4. C. Pacheco and M. D. Ernst, "Eclat: Automatic generation and classification of test inputs," in 19th European Conference Object-Oriented Programming, 2005.
5. J. C. King, "Symbolic Execution and Program Testing," Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
6. L. Clarke, "A system to generate test data and symbolically execute programs," IEEE Trans. Software Eng., vol. 2, pp. 215-222, 1976.
7. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
8. K. Sen, D. Marinov, and G. Agha, "CUTE: A concolic unit testing engine for C," in 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05). ACM, 2005.
9. C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler, "EXE: Automatically generating inputs of death," in ACM Conference on Computer and Communications Security (CCS 2006), 2006.
10. G. Necula, S. McPeak, S. Rahul, and W. Weimer, "CIL: Intermediate language and tools for analysis and transformation of C programs," in Proceedings of Conference on Compiler Construction, 2002.
11. B. Dutertre and L. M. de Moura, "A fast linear-arithmetic solver for DPLL(T)," in Computer Aided Verification, ser. LNCS, vol. 4144, 2006, pp. 81-94.
12. J. Harrold and G. Rothermel, "Siemens programs, HR variants," http: //www.cc.gatech.edu/aristotle/Tools/subjects/.