Feedback-directed random test generation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 75-84

  Pacheco, Carlos ^a   Lahiri, Shuvendu K ^b   Ernst, Michael D ^a   Ball, Thomas ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); DATA STRUCTURES; ERROR ANALYSIS; ERROR DETECTION; MODEL CHECKING;

NONTRIVIAL DATA STRUCTURES; RANDOM GENERATION;

RANDOM PROCESSES;

EID: 34548785574     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.37     Document Type: Conference Paper

References (31)

1. T. Ball. A theory of predicate-complete test coverage and generation. In FMCO, pages 1-22, 2004.
2. K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In ICFP, pages 268-279, Sept. 2000.
3. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34(11): 1025-1050, Sept. 2004.
4. C. Csallner and Y Smaragdakis. Check 'n' Crash: Combining static checking and testing. In ICSE, pages 422-431, May 2005.
5. C. Csallner and Y. Smaragdakis. DSD-Crasher: A hybrid analysis tool for bug finding. In ISSTA, pages 245-254, July 2006.
6. M. d'Amorim, C. Pacheco, D. Marinov, T. Xie, and M. D. Ernst. An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In ASE, Sept. 2006.
7. R. DeMillo, R. Lipton, and R Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 4(11):34-41, Apr. 1978.
8. J. W. Duran and S. C. Ntafos. An evaluation of random testing. IEEE TSE, 10(4):438-444, July 1984.
9. R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM TOSEM, 5(1):63-86, Jan. 1996.
10. J. E. Forrester and B. P. Miller. An empirical study of the robustness of Windows NT applications using random testing. In 4th USENIX Windows System Symposium, pages 59-68, Seattle, WA, USA, Aug. 2000.
11. P. Godefroid, N. Klarlund, and K. Sen. Dart: Directed automated random testing. In PLDI, June 2005.
12. W. Grieskamp, N. Tillmann, C. Campbell, W. Schulte, and M. Veanes. Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation. In QSIC 2005: Quality Software International Conference, Sept. 2005.
13. A. Groce and W. Visser. Heuristics for model checking Java programs. STTT, 6(4):260-276, 2004.
14. D. Hamlet. Random testing. In Encyclopedia of Software Engineering. John Wiley and Sons, 1994.
15. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE TSE, 16(12):1402-1411, Dec. 1990.
16. A. Hartman. Personal communication, July 2006.
17. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In ECOOP, pages 431-456, July 2003.
18. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, andM. Rinard. An evaluation of exhaustive testing for data structures. Technical Report MIT/LCS/TR-921, MIT Lab for Computer Science, Sept. 2003.
19. B. P. Miller, L. Fredriksen, and B. So. An empirical study of the reliability of UNIX utilities. CACM, 33(12):32-44, Dec. 1990.
20. S. Ntafos. On random and partition testing. In ISSTA, pages 42-48, Mar. 1998.
21. J. Offutt and R. H. Untch. Mutation 2000: Uniting the orthogonal. In Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, pages 45-55, San Jose, CA, Oct. 2000.
22. C. Oriat. Jartege: A tool for random generation of unit tests for Java classes. In QoSA/SOQUA, pages 242-256, Sept. 2005.
23. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP, pages 504-527, July 2005.
24. C. Pacheco, S. Lahiri, M. Ernst, and T. Ball. Feedback-directed random test generation. Technical Report MSR-TR-2006-125, Microsoft Research, Sept. 2006.
25. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In CAV, pages 419-423, Aug. 2006.
26. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. ASE, 10(2):203-232, 2003.
27. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA, pages 97-107, July 2004.
28. W. Visser, C. S. Pǎsǎreanu, and R. Pelánek. Test input generation for Java containers using state matching. In ISSTA, pages 37-48, July 2006.
29. T. Xie. Personal communication, Aug. 2006.
30. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In ASE, pages 196-205, Nov. 2004.
31. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In TACAS, pages 365-381, Apr. 2005.