Specification Directed Module Testing (1986)

by J Hayes
Venue:IEEE Transactions on Software Engineering