A framework for specification-based testing (1996)

by Phil Stocks, David Carrington
Venue:IEEE Transactions on Software Engineering