Structural specification-based testing with adl (1996)

by J Chang, D J Richardson, S Sankar
Venue:In Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, ISSTA ’96