{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:41:01Z","timestamp":1745098861745,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317485","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"635-644","source":"Crossref","is-referenced-by-count":3,"title":["Heuristic-based model refinement for FLAVERS"],"prefix":"10.1109","author":[{"given":"J.","family":"Tan","sequence":"first","affiliation":[]},{"given":"G.S.","family":"Avrunin","sequence":"additional","affiliation":[]},{"given":"L.A.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01237234"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"13","first-page":"72","article-title":"Construction of abstract state graphs with PVS","volume":"1254","author":"graf","year":"1997","journal-title":"9th Int Conf on Computer Aided Verification Volume 1254 of LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566175"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"12","first-page":"57","article-title":"Directed explicit model checking with HSF-SPIN","volume":"2057","author":"edelkamp","year":"2001","journal-title":"Proc of the 8th Int SPIN Workshop on Model Checking of Software Volume 2057 of LNCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302663"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288213"},{"key":"22","first-page":"338","article-title":"An efficient algorithm for computing MHP information for concurrent Java programs","author":"naumovich","year":"1999","journal-title":"Proc of the 7th European Software Engineering Conf Held Jointly with the 7th ACM SIGSOFT Int Symp on Foundations of Software Engineering"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316180"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75317"},{"key":"25","first-page":"235","article-title":"Data-flow analysis of program fragments","author":"rountev","year":"1999","journal-title":"Proc of the 7th European Software Engineering Conf Held Jointly with the 7th ACM SIGSOFT Int Symp on Foundations of Software Engineering"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317485"},{"key":"27","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1145\/940071.940097","article-title":"Adapting side effects analysis for modular program model checking","author":"tkachuk","year":"2003","journal-title":"Proc of the 9th European Software Engineering Conf Held Jointly with the 10th ACM SIGSOFT Int Symp on Foundations of Software Engineering"},{"key":"28","first-page":"599","article-title":"Validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Proc of the 35th Design Automation Conf"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"2","first-page":"103","article-title":"Automatically validating temporal safety properties of interfaces","volume":"2057","author":"ball","year":"2001","journal-title":"Proc of the 8th Int SPIN Workshop on Model Checking of Software Volume 2057 of LAO"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/195274.195295"},{"key":"1","article-title":"Comparing finite-state verification techniques for concurrent software","volume":"um cs 1999 69","author":"avrunin","year":"1999","journal-title":"TR"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0140"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919079"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919092"},{"key":"8","first-page":"160","article-title":"Experience with predicate abstraction","volume":"1633","author":"das","year":"1999","journal-title":"11th Int Conf on Computer-Aided Verification Volume 1633 of LNCS"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317485.pdf?arnumber=1317485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:25:45Z","timestamp":1497594345000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317485\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317485","relation":{},"subject":[]}}