The Twilight Zone: From Testing to Formal Specifications and Back Again.

Koen Claessen

Browse the full APLAS paper archive.