{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:35:27Z","timestamp":1760783727939,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606572","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"262-271","source":"Crossref","is-referenced-by-count":18,"title":["What good are strong specifications?"],"prefix":"10.1109","author":[{"given":"Nadia","family":"Polikarpova","sequence":"first","affiliation":[]},{"given":"Carlo A.","family":"Furia","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Pei","sequence":"additional","affiliation":[]},{"given":"Yi","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_8"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100094"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_14"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.13"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.8"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/s10851-006-8530-6"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9062-z"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15187-3_13"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201238"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606572"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985820"},{"year":"0","key":"11"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48166-4_18"},{"key":"23","first-page":"405","article-title":"Test templates: A specification-based testing framework","author":"stocks","year":"1993","journal-title":"ICSE"},{"key":"24","first-page":"416","article-title":"Generating tests from uml specifications","author":"offutt","year":"1999","journal-title":"UML"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"26","first-page":"231","article-title":"A simple and practical approach to unit testing: The jml and junit way","author":"cheon","year":"2002","journal-title":"ECOOP"},{"key":"27","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/566172.566191","article-title":"Korat: Automated testing based on Java predicates","author":"boyapati","year":"2002","journal-title":"ISSTA"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985847"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2002.1167755"},{"key":"3","first-page":"100","article-title":"Are practitioners writing contracts","volume":"4157","author":"chalin","year":"2006","journal-title":"The RODIN Book Ser LNCS"},{"journal-title":"Object Oriented Software Construction","year":"1997","author":"meyer","key":"2"},{"key":"10","first-page":"49","article-title":"The Spec# programming system: An overview","author":"barnett","year":"2005","journal-title":"CASSIS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15187-3_8"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9132-y"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.296"},{"key":"32","first-page":"504","article-title":"Eclat: Automatic generation and classification of test inputs","author":"pacheco","year":"2005","journal-title":"ECOOP"},{"key":"5","first-page":"127","article-title":"Specifying reusable components","volume":"6217","author":"polikarpova","year":"2010","journal-title":"VSTTE Ser LNCS"},{"key":"31","first-page":"1","article-title":"How did software get so reliable without proof","author":"hoare","year":"1996","journal-title":"FME"},{"journal-title":"Test-driven Development","year":"2002","author":"beck","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572284"},{"key":"8","first-page":"134","article-title":"Pex-white box test generation for.NET","author":"tillmann","year":"2008","journal-title":"TAP"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606572.pdf?arnumber=6606572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T01:27:28Z","timestamp":1564277248000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606572\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606572","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}