{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T06:02:36Z","timestamp":1777528956286,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642370564","type":"print"},{"value":"9783642370571","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_9","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:37:04Z","timestamp":1361198224000},"page":"114-129","source":"Crossref","is-referenced-by-count":39,"title":["Discovering Branching Conditions from Business Process Execution Logs"],"prefix":"10.1007","author":[{"given":"Massimiliano","family":"de Leoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Garc\u00eda-Ba\u00f1uelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11841760_33","volume-title":"Business Process Management","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Decision Mining in ProM. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 420\u2013425. Springer, Heidelberg (2006)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Science of Computer Programming\u00a069, 35\u201345 (2007)","journal-title":"Science of Computer Programming"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"de Leoni, M., van der Aalst, W.M.P.: Discovery of data-aware process models. In: Proc. of the 28th ACM Symposium on Applied Computing (SAC 2013). ACM (2013)","DOI":"10.1145\/2480362.2480633"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng.\u00a027, 99\u2013123 (2001)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Guo, P.J., Perkins, J.H., McCamant, S., Ernst, M.D.: Dynamic inference of abstract types. In: Proc. of ISSTA 2006, pp. 255\u2013265. ACM (2006)","DOI":"10.1145\/1146238.1146268"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Proc. of ICSE 2008, pp. 501\u2013510. IEEE (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10515-012-0103-x","volume":"19","author":"D. Lo","year":"2012","unstructured":"Lo, D., Maoz, S.: Scenario-based and value-based specification mining: better together. Autom. Softw. Eng.\u00a019, 423\u2013458 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kuzmina, N., Paul, J., Gamboa, R., Caldwell, J.: Extending dynamic constraint detection with disjunctive constraints. In: Proc. of WODA 2008, pp. 57\u201363. ACM (2008)","DOI":"10.1145\/1401827.1401839"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Nguyen, T., Kapur, D., Weimer, W., Forrest, S.: Using dynamic analysis to discover polynomial and array invariants. In: Proc. of ICSE 2012, pp. 683\u2013693. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227149"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: Proc. of POLP 2002, pp. 4\u201316. ACM (2002)","DOI":"10.1145\/565816.503275"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Shoham, S., Yahav, E., Fink, S., Pistoia, M.: Static specification mining using automata-based abstractions. In: Proc. of ISSTA 2007, pp. 174\u2013184. ACM (2007)","DOI":"10.1145\/1273463.1273487"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Lo, D., Khoo, S.C., Han, J., Liu, C. (eds.): Mining Software Specifications: Methodologies and applications. CRC Press (2011)","DOI":"10.1201\/b10928"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,8]],"date-time":"2022-02-08T17:08:08Z","timestamp":1644340088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}