External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System

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. In 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA. pages 229-238, IEEE Computer Society, 2008. [doi]

Authors

Sam Weber

This author has not been identified. Look up 'Sam Weber' in Google

Amitkumar Paradkar

This author has not been identified. Look up 'Amitkumar Paradkar' in Google

Suzanne McIntosh

This author has not been identified. Look up 'Suzanne McIntosh' in Google

David C. Toll

This author has not been identified. Look up 'David C. Toll' in Google

Paul A. Karger

This author has not been identified. Look up 'Paul A. Karger' in Google

Matthew Kaplan

This author has not been identified. It may be one of the following persons: Look up 'Matthew Kaplan' in Google

Elaine R. Palmer

This author has not been identified. Look up 'Elaine R. Palmer' in Google
runs on