{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:17:14Z","timestamp":1729635434383,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/rtcsa.2013.6732234","type":"proceedings-article","created":{"date-parts":[[2014,2,10]],"date-time":"2014-02-10T11:27:14Z","timestamp":1392031634000},"page":"330-333","source":"Crossref","is-referenced-by-count":3,"title":["Specifying automated oracles for Simulink models"],"prefix":"10.1109","author":[{"given":"Paulo A.","family":"Nardi","sequence":"first","affiliation":[]},{"given":"Marcio E.","family":"Delamaro","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Best Practices for Large-scale Modeling Access on Sep 2012","year":"2011","key":"13"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980581"},{"journal-title":"About Model Verification Blocks r2011b Documentation Simulink Control Design Access on Nov 2011","year":"2011","key":"3"},{"key":"2","first-page":"82","article-title":"Testing can be formal, too","author":"gaudel","year":"1995","journal-title":"Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227161"},{"key":"10","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-642-02138-1_2","article-title":"Keep it small, keep it real: Efficient run-time verification of web service compositions","volume":"5522","author":"baresi","year":"2009","journal-title":"Formal Techniques for Distributed Systems"},{"journal-title":"Test Oracles","year":"2001","author":"baresi","key":"7"},{"journal-title":"Chaos An Introduction to Dynamical Systems","year":"2000","author":"alligood","key":"6"},{"journal-title":"About Model Verification Blocks r2011b Documentation Signal Basics","year":"2012","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240304"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753500"}],"event":{"name":"2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2013,8,19]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2013,8,21]]}},"container-title":["2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6720220\/6732192\/06732234.pdf?arnumber=6732234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:36:33Z","timestamp":1498102593000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6732234\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2013.6732234","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}