Test Generation for Subtractive Specification Errors

Patricia Lee and Ian Harris, "Test Generation for Subtractive Specification Errors," TR 10-02, April 26, 2010. Posted May 4, 2010. download pdf