A Framework for Systematic Testing of Software Specifications. - Wei-Tek Tsai; Weiwen Xie; Imran A. Zualkernan; Satish K. Musukula (SEKE, 1993)