Structural speciÞcation-based testing with ADL (1996)

by J Chang, D Richardson, S Sankar
Venue:In Proc. Third International Symposium on Software Testing and Analysis