A framework for specification-based testing (1996)

by P Stocks, D Carrington
Venue:IEEE Transactions on Software Engineering