{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T02:08:00Z","timestamp":1789178880360,"version":"build-2803163510"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606608","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"622-631","source":"Crossref","is-referenced-by-count":64,"title":["Reliability analysis in Symbolic PathFinder"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Filieri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Corina S.","family":"Pasareanu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","author":"filieri","year":"0","journal-title":"Reliability Analyzer for SPF"},{"key":"17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/566171.566191","article-title":"Korat: Automated testing based on java predicates","volume":"27","author":"boyapati","year":"2002","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"18","first-page":"18","author":"kelly","year":"1996","journal-title":"The Omega calculator and library"},{"key":"15","author":"sen","year":"2006","journal-title":"Scalable Automated Methods for Dynamic Program Analysis"},{"key":"16","article-title":"The Control Handbook, Second Edition: Control System Applications, Second Edition, ser","author":"levine","year":"2009","journal-title":"The Electrical Engineering Handbook Series"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume":"1032","author":"godefroid","year":"1996","journal-title":"Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1515\/9783110208535"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.04.003"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393665"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/1-85233-841-5_16"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.048"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.1999.816223"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00080-8"},{"key":"26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-13238-4_1","article-title":"Reliability analysis of component-based systems with multiple failure modes","volume":"6092","author":"filieri","year":"2010","journal-title":"Component-Based Software Engineering"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000251"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287688"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989455"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_22"},{"key":"7","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.25"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","article-title":"Survey of reliability and availability prediction methods from the viewpoint of software architecture","volume":"7","author":"immonen","year":"2008","journal-title":"Software and Systems Modeling"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"8","first-page":"134","article-title":"Pex: White box test generation for net","author":"tillmann","year":"2008","journal-title":"TAP"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606608.pdf?arnumber=6606608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:55:31Z","timestamp":1498071331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606608\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606608","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}