Errors in algebraic specifications and an experimental mutation testing tool (1993)

by M Woodward
Venue:Software Engineering Journal