%0 Conference Paper %1 conf/issre/WeberPMTKKP08 %A Weber, Sam %A Paradkar, Amitkumar M. %A McIntosh, Suzanne %A Toll, David C. %A Karger, Paul A. %A Kaplan, Matthew %A Palmer, Elaine R. %B ISSRE %D 2008 %I IEEE Computer Society %K dblp %P 229-238 %T The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. %U http://dblp.uni-trier.de/db/conf/issre/issre2008.html#WeberPMTKKP08 %@ 978-0-7695-3405-3

@inproceedings{conf/issre/WeberPMTKKP08, added-at = {2024-04-08T00:00:00.000+0200}, author = {Weber, Sam and Paradkar, Amitkumar M. and McIntosh, Suzanne and Toll, David C. and Karger, Paul A. and Kaplan, Matthew and Palmer, Elaine R.}, biburl = {https://www.bibsonomy.org/bibtex/23a9926fb57dc8cd8a5707bcbf7422ec4/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSRE.2008.33}, interhash = {2ed1f331612f4f9554cb2e967e6a622b}, intrahash = {3a9926fb57dc8cd8a5707bcbf7422ec4}, isbn = {978-0-7695-3405-3}, keywords = {dblp}, pages = {229-238}, publisher = {IEEE Computer Society}, timestamp = {2024-04-12T14:43:36.000+0200}, title = {The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2008.html#WeberPMTKKP08}, year = 2008 }