Home

A._Jefferson__Offutt



A semantic model of program faults

A Software Metric System for Module Coupling

An empirical evaluation of weak mutation

An experimental determination of sufficient mutant operators

An experimental determination of sufficient mutation operators

Investigations of the software testing coupling effect

Mutation Operators for Ada

Mutation testing of software using a mimd computer

The dynamic domain reduction procedure for test data generation