Stateful testing: Finding more errors in code and contracts

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

Volumn , Issue , 2011, Pages 440-443

  Wei, Yi ^a   Roth, Hannes ^a   Furia, Carlo A ^a   Pei, Yu ^a   Horton, Alexander ^a   Steindorfer, Michael ^a   Nordio, Martin ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

automation; dynamic analysis; random testing

Indexed keywords

AUTOMATED TESTING; LINES OF CODE; RANDOM TESTING; TEST CASE; TEST INPUTS;

AUTOMATION; CODES (SYMBOLS); DATA STRUCTURES; DYNAMIC ANALYSIS; RANDOM ERRORS; SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

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

References (5)

1. I. Ciupa, A. Pretschner, M. Oriol, A. Leitner, and B. Meyer, "On the number and nature of faults found by random testing," Softw. Test., Verif. Reliab., vol. 21, no. 1, pp. 3-28, 2011.
2. A. Arcuri, M. Z. Iqbal, and L. Briand, "Formal analysis of the effectiveness and predictability of random testing," in ISSTA. ACM, 2010.
3. Y. Wei, C. A. Furia, N. Kazmin, and B. Meyer, "Inferring better contracts," in ICSE'11. ACM, 2011.
4. T. Xie and D. Notkin, "Mutually enhancing test generation and specification inference," in FATES, ser. LNCS, vol. 2931, 2003, pp. 60-69.
5. N. Polikarpova, I. Ciupa, and B. Meyer, "A comparative study of programmer-written and automatically inferred contracts," in ISSTA, 2009, pp. 93-104.