Generating fixes from object behavior anomalies

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 550-554

  Dallmeier, Valentin ^a   Zeller, Andreas ^a   Meyer, Bertrand ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b ETH ZURICH   (Switzerland)

Author keywords

Debugging; Fixing; Object usage patterns

Indexed keywords

ASPECT-J; OBJECT BEHAVIOR; PROGRAM BEHAVIOR; REGRESSION TESTS; USAGE PATTERNS;

COMPUTER SOFTWARE;

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

References (11)

1. S. Artzi, S. Kim, and M. D. Ernst. Recrash: Making software failures reproducible by preserving object states. In ECOOP 2008, pages 542-565, Paphos, Cyprus, July 9-11, 2008.
2. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. Experimental assessment of random testing for object-oriented software. In ISSTA '07, pages 84-94, New York, NY, USA, 2007. ACM.
3. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with ADABU. In WODA '06, May 2006.
4. V. Dallmeier and T. Zimmermann. Extraction of bug localization benchmarks from history. In ASE '07, pages 433-436, November 2007.
5. C. Ghezzi, A. Mocci, and M. Monga. Efficient recovery of algebraic specifications for stateful components. In IWPSE '07, pages 98-105, New York, NY, USA, 2007. ACM.
6. J. A. Jones and M. J. Harrold. Empirical evaluation of the Tarantula automatic fault-localization technique. In ASE '05, pages 273-282, 2005.
7. A. Leitner, I. Ciupa, M. Oriol, B. Meyer, and A. Fiva. Contract driven development = test driven development - writing test cases. In ESEC-FSE '07, pages 425-434, New York, NY, USA, 2007. ACM.
8. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In PLDI '05, pages 15-26, June 2005.
9. N. Polikarpova, I. Ciupa, and B. Meyer. A comparative study of programmer-written and automatically inferred contracts. In ISSTA '09, pages 93-104, June 2009.
10. D. Schuler, V. Dallmeier, and A. Zeller. Efficient mutation testing by checking invariant violations. In ISSTA '09, pages 69-80, June 2009.
11. W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest. Automatically finding patches using genetic programming. In ICSE '09, pages 364-374, Vancouver, Canada, May 2009.