Automatic Specification-Based Testing: Challenges and Possibilities.

Shaoying Liu

Browse the full TASE paper archive.