Bug-assist: Assisting fault localization in ANSI-C programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6806 LNCS, Issue , 2011, Pages 504-509

  Jose, Manu ^a   Majumdar, Rupak ^a,b  

^a Engineering IV   (United States)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDED MODEL CHECKING; CODE DEVELOPMENT; DEBUGGERS; ERROR LOCALIZATION; FAULT LOCALIZATION; LARGE PARTS; LINES OF CODE; MAX-SAT; MAX-SAT PROBLEMS; MODEL CHECKER; PLUG-INS; PROGRAM DEVELOPMENT; SAFETY PROPERTY; SET OF LINES; VERIFICATION TOOLS;

COMPUTER AIDED ANALYSIS; MODEL CHECKING; TRACE ANALYSIS;

C (PROGRAMMING LANGUAGE);

EID: 79960361675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22110-1_40     Document Type: Conference Paper

References (9)

1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL 2003: Principles of Programming Languages, pp. 97-105. ACM, New York (2003)
2. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: DAC 1999: Design Automation Conference, pp. 317-320. ACM, New York (1999)
3. Clarke, E., Kröning, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168-176. Springer, Heidelberg (2004)
4. Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering 10(4), 405-435 (2005)
5. Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3), 229-247 (2006)
6. Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic faultlocalization technique. In: ASE 2005: Automated Software Engineering, pp. 273-282. ACM, New York (2005)
7. Jose, M., Majumdar, R.: Cause clue clauses: Error localization using maximum satisfiability. In: PLDI 2011: Programming Language Design and Implementation, ACM, New York (2011)
8. Marques-Silva, J., Planes, J.: Algorithms for maximum satisfiability using unsatisfiable cores. In: DATE 2008: Design, Automation and Test in Europe, pp. 408-413. ACM, New York (2008)
9. Zeller, A.: Isolating cause-effect chains from computer programs. In: Daemen, J., Rijmen, V. (eds.) FSE 2002. LNCS, vol. 2365, pp. 1-10. Springer, Heidelberg (2002)