Defect Detection for Executable Specifications - An Experiment

Frank Houdek, Thilo Schwinn, Dietmar Ernst. Defect Detection for Executable Specifications - An Experiment. In Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2001), Sheraton Buenos Aires Hotel, Buenos Aires, Argentina, June 13-15, 2001. pages 10-18, 2001.

Abstract

Abstract is missing.