{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:52:07Z","timestamp":1725429127597},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/wcre.2013.6671291","type":"proceedings-article","created":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T17:00:42Z","timestamp":1386090042000},"page":"162-171","source":"Crossref","is-referenced-by-count":0,"title":["Leveraging specifications of subcomponents to mine precise specifications of composite components"],"prefix":"10.1109","author":[{"given":"Ziying","family":"Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqian","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2006.47"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.5"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393598"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.105"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.15"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.63"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806805"},{"key":"23","first-page":"98","article-title":"Synthesis of interface specifications for java classes","author":"alur","year":"2005","journal-title":"POPL"},{"key":"24","first-page":"465","article-title":"Typestates for objects","author":"deline","year":"2004","journal-title":"ECOOP"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081741"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.22"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070522"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.14"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"7","first-page":"461","article-title":"Mining temporal specifications for error detection","author":"weimer","year":"2005","journal-title":"TACAS"},{"key":"30","first-page":"246","article-title":"Parametric trace slicing and monitoring","author":"chen","year":"2009","journal-title":"TACAS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/566210.566212"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227185"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100058"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"}],"event":{"name":"2013 20th Working Conference on Reverse Engineering (WCRE)","start":{"date-parts":[[2013,10,14]]},"location":"Koblenz, Germany","end":{"date-parts":[[2013,10,17]]}},"container-title":["2013 20th Working Conference on Reverse Engineering (WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6656028\/6671267\/06671291.pdf?arnumber=6671291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:39:48Z","timestamp":1490218788000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6671291\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/wcre.2013.6671291","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}