{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:24:19Z","timestamp":1725614659636},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/iwast.2013.6595795","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:56:19Z","timestamp":1379591779000},"page":"75-81","source":"Crossref","is-referenced-by-count":4,"title":["Automated generation of state abstraction functions using data invariant inference"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Tonella","sequence":"first","affiliation":[]},{"given":"Cu Duy","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Marchetto","sequence":"additional","affiliation":[]},{"given":"Kiran","family":"Lakhotia","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","first-page":"302","article-title":"The state-based testing of objectoriented programs","author":"turner","year":"1993","journal-title":"ICSM Montreal"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.94"},{"journal-title":"A Systematic Review of Model Based Testing Tool Support","year":"2010","author":"shafique","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.82"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.22"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0077-7"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810324"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"8","first-page":"1","article-title":"Search based software engineering: Techniques, taxonomy, tutorial","author":"harman","year":"2012","journal-title":"Empirical Software Engineering and Verification LASER 2009-2010"}],"event":{"name":"2013 8th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 8th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588690\/6595779\/06595795.pdf?arnumber=6595795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T17:37:27Z","timestamp":1490204247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595795\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iwast.2013.6595795","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}