Coverage rewarded: Test input generation via adaptation-based programming

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 380-383

  Groce, Alex ^a  

^a Oregon State University   (United States)

Author keywords

reinforcement learning; software testing

Indexed keywords

EXPERIMENTAL EVALUATION; PSEUDO-RANDOM NUMBERS; RANDOM TESTING; SHAPE BASED; TEST HARNESS; TEST INPUTS;

RANDOM NUMBER GENERATION; REINFORCEMENT; REINFORCEMENT LEARNING; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

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

References (11)

1. W. Visser, C. Pǎ;sǎ;reanu, and R. Pelanek, "Test input generation for Java containers using state matching," in International Symposium on Software Testing and Analysis, 2006, pp. 37-48.
2. R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov, "Testing container classes: Random or systematic?" in Fundamental Approaches to Software Engineering, 2011, to appear.
3. J. Andrews, F. Li, and T. Menzies, "Nighthawk: A two-level genetic-random unit test data generator," in Automated Software Engineering, 2007, pp. 144-153.
4. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
5. "JPF," http://babelfish.arc.nasa.gov/trac/jpf.
6. "CREST," http://code.coogle.com/p/crest.
7. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, "Feedback- directed random test generation," in International Conference on Software Engineering, 2007, pp. 75-84.
8. T. Bauer, M. Erwig, A. Fern, and J. Pinto, "Adaptation-based programming in Java," in Workshop on Partial Evaluation and Program Manipulation, 2011, pp. 81-90.
9. R. Sutton and A. Barto, Reinforcement Learning: an Introduction. MIT Press, 1998.
10. M. Veanes, P. Roy, and C. Campbell, "Online testing with reinforcement learning," in Formal Approaches to Software Testing and Runtime Verification, 2006, pp. 240-253.
11. A. Arcuri, M. Z. Z. Iqbal, and L. C. Briand, "Formal analysis of the effectiveness and predictability of random testing," in International Symposium on Software Testing and Analysis, 2010, pp. 219-230.