Automated detection of logical errors in programs
On Fault Representativeness of Software Fault Injection