Frank Houdek Thilo Schwinn Dietmar Ernst Defect Detection for Executable Specifications - An Experiment. 10-18 2001 conf/seke/2001 SEKE db/conf/seke/seke2001.html#HoudekSE01