A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.

Aki Watanabe Ken Sakamura A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. 81-89 1996 ICSE http://portal.acm.org/citation.cfm?id=227726.227742 db/conf/icse/icse96.html#WatanabeS96