{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:20:08Z","timestamp":1729650008632,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693102","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"443-453","source":"Crossref","is-referenced-by-count":25,"title":["Mining branching-time scenarios"],"prefix":"10.1109","author":[{"given":"Dirk","family":"Fahland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985807"},{"key":"35","first-page":"219","article-title":"Dynamic protocol recovery","author":"quante","year":"2007","journal-title":"WCRE"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831723"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0054-z"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015727"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368096"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806806"},{"key":"39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45319-9_1","article-title":"Branching vs. Linear Time: Final Showdown","author":"vardi","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"13","first-page":"25","article-title":"Synthesizing decentralized components from a variant of live sequence charts","author":"fahland","year":"2013","journal-title":"International Conference on Model-Driven Engineering and Software Development-MODELSWARD 2013"},{"key":"14","article-title":"Mining branching LSCs: CrossFTP, Columba traces and results","author":"fahland","year":"2013","journal-title":"3TU DataCentrum"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368095"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_14"},{"key":"38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","author":"van der aalst","year":"2011","journal-title":"Process Mining - Discovery Conformance and Enhancement of Business Processes"},{"journal-title":"From Scenarios to Components","year":"2010","author":"fahland","key":"12"},{"key":"21","first-page":"306","article-title":"PR-miner: Automatically extracting implicit programming rules and detecting violations in large software code","author":"li","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":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0084-1"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.21"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1512475.1512482"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.19"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859081"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.30"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321710"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"journal-title":"Java Email Client","year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025123"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.26"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/775047.775095"},{"key":"6","first-page":"50","article-title":"Detecting implied scenarios from execution traces","author":"de sousa","year":"2007","journal-title":"WCRE"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.25"},{"journal-title":"CrossFTP Server","year":"0","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/502059.502041","article-title":"Bugs as deviant behavior: A general approach to inferring errors in systems code","volume":"35","author":"engler","year":"2001","journal-title":"Operating Systems Review (ACM)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"}],"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\/06693102.pdf?arnumber=6693102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T16:56:36Z","timestamp":1647881796000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693102\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693102","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}