{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T22:57:24Z","timestamp":1765666644238,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sew.2003.1270728","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"75-81","source":"Crossref","is-referenced-by-count":9,"title":["On the advantages of approximate vs. complete verification: bigger models, faster, less memory, usually accurate"],"prefix":"10.1109","author":[{"given":"D.","family":"Owen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Menzies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Heimdahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jimin Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213000000112"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2002.1173208"},{"key":"ref12","article-title":"Random search of and-or graphs representing finite-state models","author":"owen","year":"2001","journal-title":"Proceedings of the First International Workshop on Model-based Requirements Engineering"},{"key":"ref13","article-title":"Lurch: a lightweight alternative to model checking","author":"owen","year":"2003","journal-title":"SEKE ‘03"},{"key":"ref14","article-title":"Lurch: a Lightweight Alternative to Model Checking","author":"owen","year":"2003","journal-title":"SEKE ‘03"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115019"},{"key":"ref16","article-title":"Finding Faults Quickly in Formal Models Using Random Search","author":"owen","year":"2004","journal-title":"ICSE'04 (submitted)"},{"key":"ref17","first-page":"163","article-title":"Specification based prototyping for embedded systems","volume":"lncs","author":"thompson","year":"0"},{"key":"ref18","first-page":"731","article-title":"Requirements capture and evaluation in Nimbus: The light-control case study","volume":"6","author":"thompson","year":"2000","journal-title":"Journal of Universal Computer Science"},{"journal-title":"A Formal Semantics for RSML","year":"2000","author":"whalen","key":"ref19"},{"journal-title":"Model Check-ing","year":"1999","author":"clarke","key":"ref4"},{"key":"ref3","article-title":"Verification Tools for Finite-State Concurrent Systems","volume":"803","author":"clarke","year":"1993","journal-title":"A Decade of Concurrency-Reflections and Perspectives"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1511\/2003.1.12"},{"article-title":"Pushing the Envelope: Plan-ning, Propositional Logic and Stochastic Search","year":"0","author":"kautz","key":"ref8"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"article-title":"Where the Really Hard Problems Are","year":"0","author":"cheeseman","key":"ref1"},{"journal-title":"The SMV System","year":"2000","author":"mcmillan","key":"ref9"}],"event":{"name":"28th Annual NASA Goddard Software Engineering Workshop, 2003.","location":"Greenbelt, Maryland, USA"},"container-title":["28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8966\/28448\/01270728.pdf?arnumber=1270728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T21:38:59Z","timestamp":1489527539000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sew.2003.1270728","relation":{},"subject":[]}}