Skip to content

Defect Detection for Executable Specifications - An Experiment.

Frank Houdek, Thilo Schwinn, Dietmar Ernst

VenueCSEKE
Year2001
ProceedingsSEKE

Browse the full SEKE paper archive.