{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:07:45Z","timestamp":1729638465609,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/ic3.2015.7346742","type":"proceedings-article","created":{"date-parts":[[2015,12,8]],"date-time":"2015-12-08T22:17:05Z","timestamp":1449613025000},"page":"548-554","source":"Crossref","is-referenced-by-count":11,"title":["Consistency of Java run-time behavior with design-time specifications"],"prefix":"10.1109","author":[{"given":"Swaminathan","family":"Jayaraman","sequence":"first","affiliation":[]},{"given":"Dinoop","family":"Hari","sequence":"additional","affiliation":[]},{"given":"Bharat","family":"Jayaraman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","article-title":"GEAR – A Game-based Model Checking Tool","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1023\/A:1022920129859"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/11804192_16","article-title":"Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2","volume":"4111","author":"chalin","year":"2006","journal-title":"Formal Methods for Components and Objects"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-642-41533-3_14"},{"year":"0","article-title":"Software Testing and Validation with Reactis","key":"ref14"},{"year":"0","article-title":"Papyrus","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1056018.1056032"},{"key":"ref3","first-page":"299","article-title":"To-wards program execution summarization: Deriving state diagrams from sequence diagrams","author":"jayaraman","year":"2014","journal-title":"Seventh Intl Conf on Contemporary Computing IEEE"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/503272.503274"},{"key":"ref5","article-title":"JIVE: A Pedagogic Tool for Visualizing the Execution of Java Programs","author":"lessa","year":"2010","journal-title":"Tech Rep"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","article-title":"NuSMV: A New Symbolic Model Verifier","volume":"1633","author":"cimatti","year":"1999","journal-title":"Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICSE.2000.870434"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/32.588521"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/5397.5399"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-540-89287-8_4","article-title":"TAPAs: A Tool for the Analysis of Process Algebras","volume":"5100","author":"calzolai","year":"2008","journal-title":"Transactions on Petri Nets and Other Models of Concurrency I"}],"event":{"name":"2015 Eighth International Conference on Contemporary Computing (IC3)","start":{"date-parts":[[2015,8,20]]},"location":"Noida, India","end":{"date-parts":[[2015,8,22]]}},"container-title":["2015 Eighth International Conference on Contemporary Computing (IC3)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7337021\/7346637\/07346742.pdf?arnumber=7346742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T01:10:33Z","timestamp":1498266633000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7346742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ic3.2015.7346742","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}