Amitkumar M. Paradkar

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Sam Weber, Amitkumar M. 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)