@inproceedings{SEKE-2001-HoudekSE,
	author        = "Frank Houdek and Thilo Schwinn and Dietmar Ernst",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "10--18",
	title         = "{Defect Detection for Executable Specifications — An Experiment}",
	year          = 2001,
}