{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:10:34Z","timestamp":1725509434422},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse-companion.2009.5071037","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:09:48Z","timestamp":1245157788000},"page":"411-412","source":"Crossref","is-referenced-by-count":0,"title":["LuMiNous—model-driven assertion generation for runtime failure detection"],"prefix":"10.1109","author":[{"given":"Mauro","family":"Pezze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Wuttkez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5229-1_12"},{"key":"1","first-page":"49","article-title":"the spec# programming system: an overview","author":"barnett","year":"2005","journal-title":"Proceedings of the International Workshop on the Construction and Analysis of Safe Secure and Interoperable Systems CASSIS 2005 Volume 3362 of LNCS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341367"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_12"}],"event":{"name":"2009 31st International Conference on Software Engineering - Companion Volume","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 31st International Conference on Software Engineering - Companion Volume"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062311\/5070947\/05071037.pdf?arnumber=5071037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T00:29:44Z","timestamp":1489796984000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5071037\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icse-companion.2009.5071037","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}