![]() | ![]() |
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] |