{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:25:54Z","timestamp":1725791154885},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/ase.2009.19","type":"proceedings-article","created":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T10:48:44Z","timestamp":1269427724000},"page":"359-370","source":"Crossref","is-referenced-by-count":19,"title":["Mining Hierarchical Scenario-Based Specifications"],"prefix":"10.1109","author":[{"given":"David","family":"Lo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-540-71289-3_11"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/s10270-004-0067-9"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1368088.1368095"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ASE.2008.21"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1512475.1512482"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1023\/A:1011227529550"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/s10270-007-0054-z"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-3-540-78743-3_23"},{"year":"2006","journal-title":"Jeti","key":"ref15"},{"key":"ref16","article-title":"Check it out: On the efficient formal verification of Live Sequence Charts","author":"klose","year":"2006","journal-title":"CAV"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-642-00768-2_9"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/1181775.1181802"},{"key":"ref19","article-title":"Temporal Logic for Scenario-Based Specifications","author":"kugler","year":"2005","journal-title":"TACAS"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/1138912.1138918"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/1134285.1134325","article-title":"Perra-cotta: Mining temporal API rules from imperfect traces","author":"yang","year":"2006","journal-title":"ICSE"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/ICSE.1997.610288"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/1368088.1368157"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1321631.1321710"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/3-540-36578-8_27"},{"key":"ref5","first-page":"50","article-title":"Detecting Implied Scenarios from Execution Traces","author":"de sousa","year":"2007","journal-title":"WCRE"},{"key":"ref8","article-title":"Exploiting analogy between traces and signal processing","author":"kuhn","year":"2006","journal-title":"ICSM"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICPC.2006.45"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/503272.503275"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/781147.781148"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/1287624.1287630"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/32.48935"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/32.908957"},{"year":"2006","author":"han","journal-title":"Data Mining Concepts and Techniques","key":"ref21"},{"year":"0","journal-title":"Columba Java Email Client","key":"ref24"},{"key":"ref23","article-title":"Experiments on the effectiveness of dataflow- and control-fiow-based test adequacy criteria","author":"hutchins","year":"1994","journal-title":"lCSE"},{"year":"0","journal-title":"Eclipse Test and Performance Tools Platform","key":"ref26"},{"year":"0","journal-title":"Hierarchical LSC Mining - Supplementary Website","key":"ref25"}],"event":{"name":"2009 24th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2009,11,16]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2009,11,20]]}},"container-title":["2009 IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5431684\/5431686\/05431759.pdf?arnumber=5431759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T00:19:09Z","timestamp":1635121149000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5431759\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":32,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/ase.2009.19","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}