{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:29:27Z","timestamp":1729632567942,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227084","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"1341-1344","source":"Crossref","is-referenced-by-count":3,"title":["BRACE: An assertion framework for debugging cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Boos","sequence":"first","affiliation":[]},{"given":"Chien-Liang","family":"Fok","sequence":"additional","affiliation":[]},{"given":"Christine","family":"Julien","sequence":"additional","affiliation":[]},{"given":"Miryung","family":"Kim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"337","article-title":"PDA: Passive distributed assertions for sensor networks","author":"romer","year":"0","journal-title":"Proc of IPSN'09 2009"},{"key":"2","first-page":"84","article-title":"An instrumentation-based approach to controller model validation","author":"cleaveland","year":"0","journal-title":"Proc of ASWSD 2008"},{"key":"1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1127878.1127900","article-title":"A historical perspective on runtime assertion checking in software development","volume":"31","author":"clarke","year":"2006","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/34.159901"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644053"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869465"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227084.pdf?arnumber=6227084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:08:02Z","timestamp":1497992882000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227084\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227084","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}