A Framework for Systematic Testing of Software Specifications.

Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula

Browse the full SEKE paper archive.