An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.

Yuting Chen, Shaoying Liu

Browse the full APSEC paper archive.