Frank Houdek Thilo Schwinn Dietmar Ernst Defect Detection for Executable Specifications - An Experiment. 637-656 2002 12 International Journal of Software Engineering and Knowledge Engineering 6 http://dx.doi.org/10.1142/S0218194002001128 db/journals/ijseke/ijseke12.html#HoudekSE02