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.

Authors

Frank Houdek

This author has not been identified. Look up 'Frank Houdek' in Google

Thilo Schwinn

This author has not been identified. Look up 'Thilo Schwinn' in Google

Dietmar Ernst

This author has not been identified. Look up 'Dietmar Ernst' in Google