{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:58:15Z","timestamp":1729659495279,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2002.1172942","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"641-647","source":"Crossref","is-referenced-by-count":3,"title":["Model testing: is it only a special case of software testing?"],"prefix":"10.1109","volume":"1","author":[{"given":"C.M.","family":"Overstreet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977274"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225015"},{"journal-title":"The Complete Guide to Software Testing","year":"1993","author":"hetzel","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1109\/TSE.1987.233206","article-title":"automated protocol validation in argos: assertion proving and scatter searching","volume":"se 13","author":"holzmann","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"On the complexity of verifying structural properties of discrete event simulation models INSEAD Working Paper Series TM\/95\/12","year":"1995","author":"jacobson","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977270"},{"key":"ref17","first-page":"51","volume":"33","author":"naumovich","year":"1998","journal-title":"Efficient Composite Data Flow Analysis Applied to Concurrent Prosrams ACM SIGPLAN Notices"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242288"},{"journal-title":"Model specification and analysis for discrete event simulation","year":"1982","author":"overstreet","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/508366.508369"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/229493.229509"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899883"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/271775.271798","article-title":"Improving efficiency of symbolic model checking for sate-based system requirements","volume":"23","author":"chan","year":"1998","journal-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis Software Engineering Notes"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1090\/dimacs\/018\/06","article-title":"The concurrency factory-practical tools for specification, simulation, verification and implementation of concurrent systems","author":"cleaveland","year":"1994","journal-title":"Proceedings of the DIMACS Workshop on Specification of Parallel Algorithms"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242252"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/123041.123047"},{"journal-title":"Software testing best practices center for software engineering IBM Research Technical Report RC 21457","year":"1999","author":"chillarege","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/356876.356879"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1994.717384"},{"journal-title":"Software Testing","year":"1994","author":"roper","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/324138.324433"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977251"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899697"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271804"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977267"}],"event":{"name":"2002 Winter Simulation Conference","acronym":"WSC-02","location":"San Diego, CA, USA"},"container-title":["Proceedings of the Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8343\/26360\/01172942.pdf?arnumber=1172942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T19:35:32Z","timestamp":1519500932000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1172942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/wsc.2002.1172942","relation":{},"subject":[]}}