Approaches to specification-based testing
Debra J. Richardson, Owen O'Malley, C. Tittle · ACM SIGSOFT Software Engineering Notes · 1989
Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged benefits of testing based on software specifications. We propose approaches to specification-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal specification languages. We demonstrate these approaches for the Anna and Larch specification languages.