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]
@inproceedings{WeberPMTKKP08,
title = {The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System},
author = {Sam Weber and Amitkumar Paradkar and Suzanne McIntosh and David C. Toll and Paul A. Karger and Matthew Kaplan and Elaine R. Palmer},
year = {2008},
doi = {10.1109/ISSRE.2008.33},
url = {http://dx.doi.org/10.1109/ISSRE.2008.33},
tags = {operating system, case study, testing, C++},
researchr = {https://researchr.org/publication/WeberPMTKKP08},
cites = {0},
citedby = {0},
pages = {229-238},
booktitle = {19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA},
publisher = {IEEE Computer Society},
}