{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:00Z","timestamp":1730313540853,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,17]]},"DOI":"10.1145\/1145735.1145739","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"20-27","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Random testing of formal software models and induced coverage"],"prefix":"10.1145","author":[{"given":"David","family":"Owen","sequence":"first","affiliation":[{"name":"West Virginia University, Morgantown, WV"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Desovski","sequence":"additional","affiliation":[{"name":"West Virginia University, Morgantown, WV"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Cukic","sequence":"additional","affiliation":[{"name":"West Virginia University, Morgantown, WV"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"volume-title":"National Security Agency","year":"2003","key":"e_1_3_2_1_1_1","unstructured":"Requirements Specification for Personnel Access Control System. National Security Agency , 2003 .]] Requirements Specification for Personnel Access Control System. National Security Agency, 2003.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1223646"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825766"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016320523091"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691774"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_8_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 .]] E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0140"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318939"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_13_1","volume-title":"Heuristic Model Checking for Java Programs. In SPIN Workshop on Model Checking of Software","author":"Groce A.","year":"2002","unstructured":"A. Groce and W. Visser . Heuristic Model Checking for Java Programs. In SPIN Workshop on Model Checking of Software , 2002 .]] A. Groce and W. Visser. Heuristic Model Checking for Java Programs. In SPIN Workshop on Model Checking of Software, 2002.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Encyclopedia of Software Engineering","author":"Hamlet R.","year":"1994","unstructured":"R. Hamlet . Random Testing . In J. Maciniak, editor, Encyclopedia of Software Engineering . Wiley , 1994 .]] R. Hamlet. Random Testing. In J. Maciniak, editor, Encyclopedia of Software Engineering. Wiley, 1994.]]"},{"issue":"1","key":"e_1_3_2_1_15_1","article-title":"Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten","volume":"20","author":"Heitmeyer C.","year":"2005","unstructured":"C. Heitmeyer , M. Archer , R. Bharadwaj , and R. Jeffords . Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten . International Journal of Computer Systems Science and Engineering , 20 ( 1 ), 2005 .]] C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten. International Journal of Computer Systems Science and Engineering, 20(1), 2005.]]","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"e_1_3_2_1_17_1","unstructured":"G. Holzmann. On-the-Fly LTL Model Checking with SPIN. spinroot. com\/spin\/whatispin.html.]]  G. Holzmann. On-the-Fly LTL Model Checking with SPIN. spinroot. com\/spin\/whatispin.html.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"The SPIN Model Checker","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The SPIN Model Checker . Addison-Wesley , 2003 .]] G. Holzmann. The SPIN Model Checker. Addison-Wesley, 2003.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023072104553"},{"key":"e_1_3_2_1_20_1","unstructured":"K. McMillan. The SMV Model Checker. www-cad.eecs.berkeley.edu\/~kenmcmil.]]  K. McMillan. The SMV Model Checker. www-cad.eecs.berkeley.edu\/~kenmcmil.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/211390"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. 15th International Conference on Software Engineering and Knowledge Engineering","author":"Owen D.","year":"2003","unstructured":"D. Owen and T. Menzies . Lurch: A Lightweight Alternative to Model Checking . In Proc. 15th International Conference on Software Engineering and Knowledge Engineering , 2003 .]] D. Owen and T. Menzies. Lurch: A Lightweight Alternative to Model Checking. In Proc. 15th International Conference on Software Engineering and Knowledge Engineering, 2003.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872557"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/151299.151326"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","acronym":"ISSTA06","location":"Portland Maine"},"container-title":["Proceedings of the 1st international workshop on Random testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145735.1145739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T17:36:55Z","timestamp":1673717815000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145735.1145739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":26,"alternative-id":["10.1145\/1145735.1145739","10.1145\/1145735"],"URL":"https:\/\/doi.org\/10.1145\/1145735.1145739","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}