J Chang, DJ Richardson, S Sankar - ACM SIGSOFT Software …, 1996 - dl.acm.org
This paper describes a specification-based black-box technique for testing program units.
The main contribution is the method that we have developed to derive test conditions, which …