Errors in algebraic specifications and an experimental mutation testing tool

M. R. Woodward. Errors in algebraic specifications and an experimental mutation testing tool. IEE Proceedings - Software, 8(4):211-224, 1993. [doi]

Abstract

Abstract is missing.