{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:22:20Z","timestamp":1773840140286,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070544","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"452-462","source":"Crossref","is-referenced-by-count":15,"title":["Validation of contracts using enabledness preserving finite state abstractions"],"prefix":"10.1109","author":[{"given":"Guido","family":"de Caso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Garbervetsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129738"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0027-7"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","article-title":"ProB: an automated analysis toolset for the B method","volume":"10","author":"leuschel","year":"2008","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref13","article-title":"RFC1508: Generic Security Service Application Program Interface","author":"linn","year":"1993","journal-title":"RFC Editor United States"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.22"},{"key":"ref16","first-page":"11","volume":"9","author":"polikarpova","year":"2008","journal-title":"A comparative study of programmer-written and automatically inferred contracts month"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.55"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_49"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref5","author":"deline","year":"2004","journal-title":"Typestates for Objects Ecoop 2004-0bject-Oriented Programming 18th European Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.50"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368096"},{"key":"ref2","first-page":"98","article-title":"Synthesis of interface specifications for Java classes","author":"alur","year":"2005","journal-title":"Proc Symp Principles of Programming Languages"},{"key":"ref1","year":"2008","journal-title":"[MS-NNS] NET NegotiateStream Protocol Specification v2 0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194006002963"},{"key":"ref20","author":"uribe","year":"1999","journal-title":"Abstraction-based Deductive-algorithmic Verification of Reactive Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"ref21","first-page":"218","article-title":"Goal-oriented requirements animation","author":"van","year":"2004","journal-title":"Requirements Engineering Conference 2004"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070544.pdf?arnumber=5070544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:54:06Z","timestamp":1497819246000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070544\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070544","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}