Extended program invariants: applications in testing and fault localization.

Mohammad Amin Alipour, Alex Groce

Browse the full ISSTA paper archive.