| |
| 2008 | ||
|---|---|---|
| 1 | EE | 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. ISSRE 2008: 229-238 |
| 1 | Matthew Kaplan | [1] |
| 2 | Paul A. Karger | [1] |
| 3 | Suzanne McIntosh | [1] |
| 4 | Elaine R. Palmer | [1] |
| 5 | David C. Toll | [1] |
| 6 | Sam Weber | [1] |