{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:56:59Z","timestamp":1742993819830,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_3","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T00:01:44Z","timestamp":1412899304000},"page":"32-46","source":"Crossref","is-referenced-by-count":1,"title":["A Multi-objective Approach to Business Process Repair"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Di Francescomarino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Tiella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/s00766-005-0001-x","volume":"10","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requir. Eng.\u00a010(3), 198\u2013211 (2005)","journal-title":"Requir. Eng."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Arito, F., Chicano, F., Alba, E.: On the application of SAT solvers to the test suite minimization problem. In: Proc. of the 4th Int. Symposium on Search Based Software Engineering (SSBSE), pp. 45\u201359 (2012)","DOI":"10.1007\/978-3-642-33119-0_5"},{"key":"3_CR3","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-40919-6_3","volume-title":"Data-Driven Process Discovery and Analysis","author":"J.C.A.M. Buijs","year":"2013","unstructured":"Buijs, J.C.A.M., La Rosa, M., Reijers, H.A., van Dongen, B.F., van der Aalst, W.M.P.: Improving business process models using observed behavior. In: Cudre-Mauroux, P., Ceravolo, P., Ga\u0161evi\u0107, D. (eds.) SIMPDA 2012. LNBIP, vol.\u00a0162, pp. 44\u201359. Springer, Heidelberg (2013)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-32885-5_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2012","unstructured":"Fahland, D., van der Aalst, W.M.P.: Repairing process models to reflect reality. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 229\u2013245. Springer, Heidelberg (2012)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-23059-2_27","volume-title":"Business Process Management","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., van der Aalst, W.M.P.: Simplifying mined process models: An approach based on unfoldings. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 362\u2013378. Springer, Heidelberg (2011)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-23059-2_14","volume-title":"Business Process Management","author":"M. Gambini","year":"2011","unstructured":"Gambini, M., La Rosa, M., Migliorini, S., Ter Hofstede, A.H.M.: Automated error correction of business process models. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 148\u2013165. Springer, Heidelberg (2011)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-642-03848-8_23","volume-title":"Business Process Management","author":"C. Li","year":"2009","unstructured":"Li, C., Reichert, M., Wombacher, A.: Discovering reference models by mining process variants using a heuristic approach. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 344\u2013362. Springer, Heidelberg (2009)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-23716-4_16","volume-title":"Search Based Software Engineering","author":"A. Marchetto","year":"2011","unstructured":"Marchetto, A., Di Francescomarino, C., Tonella, P.: Optimizing the trade-off between complexity and conformance in process reduction. In: Cohen, M.B., \u00d3 Cinn\u00e9ide, M. (eds.) SSBSE 2011. LNCS, vol.\u00a06956, pp. 158\u2013172. Springer, Heidelberg (2011)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Medeiros, A.K.A.D., Weijters, A.J.M.M.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov.\u00a014 (2007)","DOI":"10.1007\/s10618-006-0061-7"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-33119-0_17","volume-title":"Search Based Software Engineering","author":"A. Tomasi","year":"2012","unstructured":"Tomasi, A., Marchetto, A., Di Francescomarino, C.: Domain-driven reduction optimization of recovered business processes. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol.\u00a07515, pp. 228\u2013243. Springer, Heidelberg (2012)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Tonella, P., Marchetto, A., Nguyen, C.D., Jia, Y., Lakhotia, K., Harman, M.: Finding the optimal balance between over and under approximation of models inferred from execution logs. In: 2012 IEEE Fifth Int. Conf. on. Software Testing, Verification and Validation (ICST), pp. 21\u201330. IEEE (2012)","DOI":"10.1109\/ICST.2012.82"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Van Veldhuizen, D.A., Lamont, G.B.: Multiobjective evolutionary algorithm test suites. In: Proc. of the 1999 ACM Symp. on Applied Computing, pp. 351\u2013357. ACM (1999)","DOI":"10.1145\/298151.298382"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M.: Pareto efficient multi-objective test case selection. In: Proc. of the 2007 Int. Symposium on Software Testing and Analysis, pp. 140\u2013150. ACM (2007)","DOI":"10.1145\/1273463.1273483"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T20:10:17Z","timestamp":1572120617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}