Lightweight automated testing with adaptation-based programming

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2012, Pages 161-170

  Groce, Alex ^a   Fern, Alan ^a   Pinto, Jervis ^a   Bauer, Tim ^a   Alipour, Amin ^a   Erwig, Martin ^a   Lopez, Camden ^a  

^a 1148 Kelley Engineering Center Corvallis   (United States)

Author keywords

Reinforcement learning; Software testing

Indexed keywords

AUTOMATED TESTING; EXPERIMENTAL EVALUATION; LOW OVERHEAD; MODEL CHECKER; RANDOM TESTING; SOFTWARE SYSTEMS;

ABSTRACTING; APPLICATION PROGRAMMING INTERFACES (API); MODEL CHECKING; REINFORCEMENT LEARNING; SOFTWARE RELIABILITY; TESTING;

SOFTWARE TESTING;

EID: 84876394399     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2012.1     Document Type: Conference Paper

References (24)

1. 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.
2. R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov, "Testing container classes: Random or systematic?" in FASE, 2011, pp. 262-277.
3. W. Visser, C. Pǎsǎreanu, and R. Pelanek, "Test input generation for Java containers using state matching," in ISSTA, 2006, pp. 37-48.
4. K. Claessen and J. Hughes, "QuickCheck: a lightweight tool for random testing of haskell programs," in ICFP, 2000, pp. 268-279.
5. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," in Programming Language Design and Implementation, 2005, pp. 213-223.
6. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
7. "JPF: the swiss army knife of Java(TM) verification," http://babelfish.arc.nasa.gov/trac/jpf.
8. A. Groce, G. Holzmann, R. Joshi, and R.-G. Xu, "Putting flight software through the paces with testing, model checking, and constraint-solving," in International Workshop on Constraints in Formal Verification, 2008, pp. 1-15.
9. R. Hamlet, "Random testing," in Encyclopedia of Software Engineering. Wiley, 1994, pp. 970-978.
10. A. Groce, "Coverage rewarded: Test input generation via adaptation-based programming," in IEEE/ACM International Conference on Automated Software Engineering, 2011, pp. 380-383.
11. T. Bauer, M. Erwig, A. Fern, and J. Pinto, "Adaptation-based programming in Java," in ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011, pp. 81-90.
12. R. Sutton and A. Barto, Reinforcement Learning: an Introduction. MIT Press, 1998.
13. D. Andre and S. Russel, "State abstraction for programmable reinforcement learning agents," in National Conference on Artificial Intelligence, 2002.
14. S. Mahadevan, "Agent reward reinforcement learning: Foundations, algorithms, and empirical results," Machine Learning, vol. 22, no. 1, pp. 159-195, 1996.
15. 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.
16. T. Ball, "A theory of predicate-complete test coverage and generation," in FMCO, 2004, pp. 1-22.
17. J. H. Andrews, A. Groce, M. Weston, and R.-G. Xu, "Random test run length and effectiveness," in Automated Software Engineering, 2008, pp. 19-28.
18. A. Groce and W. Visser, "Heuristics for model checking Java programs," Software Tools for Technology Transfer, vol. 6(4), pp. 260-276, 2004.
19. 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.
20. 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.
21. P. McMinn, "Search-based software test data generation: A survey," Software testing, verification, and reliability, vol. 14, pp. 105-156, 2004.
22. T. Y. Chen, H. Leung, and I. K. Mak, "Adaptive random testing," in Adv. in Computer Science, 2004, pp. 320-329.
23. A. Arcuri and L. Briand, "Adaptive random testing: An illusion of effectiveness," in International Symposium on Software Testing and Analysis, 2011, pp. 265-275.
24. A. Groce and R. Joshi, "Random testing and model checking: Building a common framework for nondeterministic exploration," in Workshop on Dynamic Analysis, 2008, pp. 22-28.