Sam Weber Amitkumar Paradkar Suzanne McIntosh David C. Toll Paul A. Karger Matthew Kaplan Elaine R. Palmer The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. 229-238 2008 ISSRE http://dx.doi.org/10.1109/ISSRE.2008.33 conf/issre/2008 db/conf/issre/issre2008.html#WeberPMTKKP08