Extended program invariants: applications in testing and fault localization.

Mohammad Amin Alipour Alex Groce

Published in: WODA (2012)

Keyphrases

fault localization
software testing
program understanding
test cases
program slicing
fault detection
model based diagnosis
data abstraction
software systems
software engineering
software development
test suite
case study
software maintenance