Errors in Algebraic Specifications and an Experimental Mutation Testing Tool (1993)

by M R Woodward
Venue:Software Engineering Journal