{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:41:42Z","timestamp":1729672902728,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693101","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"432-442","source":"Crossref","is-referenced-by-count":17,"title":["TzuYu: Learning stateful typestates"],"prefix":"10.1109","author":[{"given":"Hao","family":"Xiao","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Chengnian","family":"Sun","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_38"},{"key":"35","first-page":"717","article-title":"Discovering likely method specifications","volume":"4260","author":"tillmann","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"17"},{"year":"2013","author":"xiao","key":"36"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483783"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_11"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_18"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"16","first-page":"521","article-title":"AMC: An adaptive model checker","author":"groce","year":"2002","journal-title":"CAV"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"14","article-title":"The daikon system for dynamic detection of likely invariants","author":"ernst","year":"2006","journal-title":"Science of Computer Programming"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.94"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.253"},{"key":"22","first-page":"463","article-title":"An efficient algorithm for learning event-recording automata","author":"lin","year":"2011","journal-title":"ATVA"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.94"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.13"},{"key":"26","article-title":"Mining software specifications: Method- ologies and applications","author":"lo","year":"2011","journal-title":"Chapman &amp Hall\/CRC Data Mining and Knowledge Discovery Series"},{"key":"27","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1094811.1094818","article-title":"Deriving object typestates in the presence of inter-object references","author":"nanda","year":"2005","journal-title":"OOPSLA"},{"key":"28","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1145\/1297846.1297902","article-title":"Randoop: Feedback-directed random testing for java","author":"pacheco","year":"2007","journal-title":"OOPSLA"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"3","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/11513988_52","article-title":"Symbolic compositional verification by learning assumptions","volume":"3576","author":"alur","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_4"},{"key":"30","article-title":"The sk-strings method for inferring PFSA","author":"raman","year":"1997","journal-title":"ICML"},{"key":"7","first-page":"14","article-title":"Proof rules for automated compositional verification through learning","author":"barringer","year":"2003","journal-title":"Proc SAVCBS Workshop"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"32","first-page":"263","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"ESEC\/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"journal-title":"Advances in Kernel Methods Support Vector Learning","year":"1999","author":"scho?lkopf","key":"31"},{"key":"4","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/1040305.1040314","article-title":"Synthesis of interface specifications for java classes","author":"alur","year":"2005","journal-title":"POPL"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1961189.1961199"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693101.pdf?arnumber=6693101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,19]],"date-time":"2023-07-19T15:02:27Z","timestamp":1689778947000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693101\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693101","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}