{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:04:09Z","timestamp":1780628649947,"version":"3.54.1"},"reference-count":122,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"crossref","award":["861213"],"award-info":[{"award-number":["861213"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["MSCA-RISE agreement 645751"],"award-info":[{"award-number":["MSCA-RISE agreement 645751"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001655","name":"Deutscher Akademischer Austauschdienst","doi-asserted-by":"publisher","award":["UA-DAAD"],"award-info":[{"award-number":["UA-DAAD"]}],"id":[{"id":"10.13039\/501100001655","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100022943","name":"Universities Australia","doi-asserted-by":"crossref","award":["UA-DAAD"],"award-info":[{"award-number":["UA-DAAD"]}],"id":[{"id":"10.13039\/501100022943","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["DP180102839"],"award-info":[{"award-number":["DP180102839"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2020,7,31]]},"abstract":"<jats:p>\n            The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of\n            <jats:italic>specification discovery<\/jats:italic>\n            and\n            <jats:italic>specification mining<\/jats:italic>\n            are concerned with measuring the consistency between a collection of execution traces and a program specification. This problem is also tackled in\n            <jats:italic>process mining<\/jats:italic>\n            with the help of measures that describe the quality of a process specification automatically discovered from execution logs. Though various measures have been proposed, it was recently demonstrated that they neither fulfil essential properties, such as\n            <jats:italic>monotonicity<\/jats:italic>\n            , nor can they handle infinite behaviour. In this article, we address this research problem by introducing a new framework for the definition of behavioural quotients. We prove that corresponding quotients guarantee desired properties that existing measures have failed to support. We demonstrate the application of the quotients for capturing precision and recall measures between a collection of recorded executions and a system specification. We use a prototypical implementation of these measures to contrast their monotonic assessment with measures that have been defined in prior research.\n          <\/jats:p>","DOI":"10.1145\/3387909","type":"journal-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T16:19:41Z","timestamp":1591028381000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems"],"prefix":"10.1145","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7672-1643","authenticated-orcid":false,"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[{"name":"The University of Melbourne, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Solti","sequence":"additional","affiliation":[{"name":"Vienna University of Economics and Business, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[{"name":"Humboldt University of Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudio Di","family":"Ciccio","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[{"name":"Vienna University of Economics and Business, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1086\/229495"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-014-0234-7"},{"key":"e_1_2_1_3_1","volume-title":"van der Aalst","author":"Adriansyah Arya","year":"2011","unstructured":"Arya Adriansyah , Boudewijn F. van Dongen , and Wil M. P . van der Aalst . 2011 . Conformance checking using cost-based fitness analysis. In EDOC. IEEE Computer Society , 55--64. Arya Adriansyah, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. 2011. Conformance checking using cost-based fitness analysis. In EDOC. IEEE Computer Society, 55--64."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.71"},{"key":"e_1_2_1_5_1","volume-title":"Larus","author":"Ammons Glenn","year":"2002","unstructured":"Glenn Ammons , Rastislav Bod\u00edk , and James R . Larus . 2002 . Mining specifications. In POPL. ACM , 4--16. DOI:https:\/\/doi.org\/10.1145\/503272.503275 10.1145\/503272.503275 Glenn Ammons, Rastislav Bod\u00edk, and James R. Larus. 2002. Mining specifications. In POPL. ACM, 4--16. DOI:https:\/\/doi.org\/10.1145\/503272.503275"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"e_1_2_1_7_1","unstructured":"Antonius Andr\u00e9 Basten. 1998. In Terms of Nets: System Design with Petri Nets and Process Algebra. Ph.D. Dissertation. Technische Universiteit Eindhoven (The Netherlands).  Antonius Andr\u00e9 Basten. 1998. In Terms of Nets: System Design with Petri Nets and Process Algebra. Ph.D. Dissertation. Technische Universiteit Eindhoven (The Netherlands)."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.13.1.1.94"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.2018.0774"},{"key":"e_1_2_1_10_1","volume-title":"Regular inference for state machines with parameters","author":"Berg Therese","unstructured":"Therese Berg , Bengt Jonsson , and Harald Raffelt . 2006. Regular inference for state machines with parameters . In FASE. Springer , 107--121. DOI:https:\/\/doi.org\/10.1007\/11693017_10 10.1007\/11693017_10 Therese Berg, Bengt Jonsson, and Harald Raffelt. 2006. Regular inference for state machines with parameters. In FASE. Springer, 107--121. DOI:https:\/\/doi.org\/10.1007\/11693017_10"},{"key":"e_1_2_1_11_1","volume-title":"Keller","author":"Berner Stefan","year":"2007","unstructured":"Stefan Berner , Roland Weber , and Rudolf K . Keller . 2007 . Enhancing software testing by judicious use of code coverage information. In ICSE. IEEE Computer Society , 612--620. DOI:https:\/\/doi.org\/10.1109\/ICSE.2007.34 10.1109\/ICSE.2007.34 Stefan Berner, Roland Weber, and Rudolf K. Keller. 2007. Enhancing software testing by judicious use of code coverage information. In ICSE. IEEE Computer Society, 612--620. DOI:https:\/\/doi.org\/10.1109\/ICSE.2007.34"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0085-6"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.006"},{"key":"#cr-split#-e_1_2_1_15_1.1","doi-asserted-by":"crossref","unstructured":"Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-Driven Software Engineering in Practice. Morgan 8 Claypool Publishers. DOI:https:\/\/doi.org\/10.2200\/S00441ED1V01Y201208SWE001 10.2200\/S00441ED1V01Y201208SWE001","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"#cr-split#-e_1_2_1_15_1.2","doi-asserted-by":"crossref","unstructured":"Marco Brambilla Jordi Cabot and Manuel Wimmer. 2012. Model-Driven Software Engineering in Practice. Morgan 8 Claypool Publishers. DOI:https:\/\/doi.org\/10.2200\/S00441ED1V01Y201208SWE001","DOI":"10.1007\/978-3-031-02546-4"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.25300\/MISQ\/2016\/40.4.10"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843014400012"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00094-X"},{"key":"e_1_2_1_19_1","volume-title":"ICATPN (LNCS)","author":"Chatain Thomas","unstructured":"Thomas Chatain and Josep Carmona . 2016. Anti-alignments in conformance checking - The dark side of process models . In ICATPN (LNCS) , Vol. 9698 . Springer , 240--258. Thomas Chatain and Josep Carmona. 2016. Anti-alignments in conformance checking - The dark side of process models. In ICATPN (LNCS), Vol. 9698. Springer, 240--258."},{"key":"#cr-split#-e_1_2_1_20_1.1","doi-asserted-by":"crossref","unstructured":"Kwang-Ting Cheng and A. S. Krishnakumar. 1993. Automatic functional test generation using the extended finite state machine model. In DAC. ACM 86--91. DOI:https:\/\/doi.org\/10.1145\/157485.164585 10.1145\/157485.164585","DOI":"10.1145\/157485.164585"},{"key":"#cr-split#-e_1_2_1_20_1.2","doi-asserted-by":"crossref","unstructured":"Kwang-Ting Cheng and A. S. Krishnakumar. 1993. Automatic functional test generation using the extended finite state machine model. In DAC. ACM 86--91. DOI:https:\/\/doi.org\/10.1145\/157485.164585","DOI":"10.1145\/157485.164585"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_16"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_2_1_23_1","unstructured":"Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press. I\u2013XIV 1\u2013314 pages.  Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press. I\u2013XIV 1\u2013314 pages."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_2_1_25_1","volume-title":"Quasi-experimentation: Design 8 Analysis Issues for Field Settings","author":"Cook T. D.","year":"1979","unstructured":"T. D. Cook and D. T. Campbell . 1979 . Quasi-experimentation: Design 8 Analysis Issues for Field Settings . Rand McNally College . T. D. Cook and D. T. Campbell. 1979. Quasi-experimentation: Design 8 Analysis Issues for Field Settings. Rand McNally College."},{"key":"e_1_2_1_26_1","volume-title":"Social Sequence Analysis: Methods and Applications","author":"Cornwell Benjamin","unstructured":"Benjamin Cornwell . 2015. Social Sequence Analysis: Methods and Applications . Vol. 37 . Cambridge University Press . Benjamin Cornwell. 2015. Social Sequence Analysis: Methods and Applications. Vol. 37. Cambridge University Press."},{"key":"e_1_2_1_27_1","volume-title":"Analysing software repositories to understand software evolution","author":"D\u2019Ambros Marco","unstructured":"Marco D\u2019Ambros , Harald C. Gall , Michele Lanza , and Martin Pinzger . 2008. Analysing software repositories to understand software evolution . In Software Evolution, Tom Mens and Serge Demeyer (Eds.). Springer , 37--67. DOI:https:\/\/doi.org\/10.1007\/978-3-540-76440-3_3 10.1007\/978-3-540-76440-3_3 Marco D\u2019Ambros, Harald C. Gall, Michele Lanza, and Martin Pinzger. 2008. Analysing software repositories to understand software evolution. In Software Evolution, Tom Mens and Serge Demeyer (Eds.). Springer, 37--67. DOI:https:\/\/doi.org\/10.1007\/978-3-540-76440-3_3"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.10.001"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2015.06.002"},{"key":"e_1_2_1_31_1","volume-title":"BPM Workshops. Springer, 74--86","author":"Smedt Johannes De","year":"2017","unstructured":"Johannes De Smedt , Claudio Di Ciccio , Jan Vanthienen , and Jan Mendling . 2017 . Model checking of mixed-paradigm process models in a discovery context - Finding the fit between declarative and procedural . In BPM Workshops. Springer, 74--86 . DOI:https:\/\/doi.org\/10.1007\/978-3-319-58457-7_6 10.1007\/978-3-319-58457-7_6 Johannes De Smedt, Claudio Di Ciccio, Jan Vanthienen, and Jan Mendling. 2017. Model checking of mixed-paradigm process models in a discovery context - Finding the fit between declarative and procedural. In BPM Workshops. Springer, 74--86. DOI:https:\/\/doi.org\/10.1007\/978-3-319-58457-7_6"},{"key":"e_1_2_1_32_1","volume-title":"Temporal Logics in Computer Science: Finite-State Systems","author":"Demri St\u00e9phane","unstructured":"St\u00e9phane Demri , Valentin Goranko , and Martin Lange . 2016. Temporal Logics in Computer Science: Finite-State Systems . Cambridge University Press . St\u00e9phane Demri, Valentin Goranko, and Martin Lange. 2016. Temporal Logics in Computer Science: Finite-State Systems. Cambridge University Press."},{"key":"e_1_2_1_33_1","unstructured":"Elena Deza and Michel Deza. 2006. Dictionary of Distances. North-Holland. I\u2013XV 1\u2013391 pages.  Elena Deza and Michel Deza. 2006. Dictionary of Distances. North-Holland. I\u2013XV 1\u2013391 pages."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.09.005"},{"key":"e_1_2_1_35_1","volume-title":"On the discovery of declarative control flows for artful processes. ACM TMIS 5, 4","author":"Ciccio Claudio Di","year":"2015","unstructured":"Claudio Di Ciccio and Massimo Mecella . 2015. On the discovery of declarative control flows for artful processes. ACM TMIS 5, 4 ( 2015 ), 24:1\u201324:37. Claudio Di Ciccio and Massimo Mecella. 2015. On the discovery of declarative control flows for artful processes. ACM TMIS 5, 4 (2015), 24:1\u201324:37."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2009.07.009"},{"key":"e_1_2_1_37_1","volume-title":"Jan Mendling, and Hajo A. Reijers.","author":"Dumas Marlon","year":"2018","unstructured":"Marlon Dumas , Marcello La Rosa , Jan Mendling, and Hajo A. Reijers. 2018 . Fundamentals of Business Process Management. Springer . Marlon Dumas, Marcello La Rosa, Jan Mendling, and Hajo A. Reijers. 2018. Fundamentals of Business Process Management. Springer."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196883"},{"key":"e_1_2_1_39_1","volume-title":"Javert: Fully automatic mining of general temporal properties from dynamic traces. In SIGSOFT FSE. ACM, 339--349. DOI:https:\/\/doi.org\/10.1145\/1453101.1453150","author":"Gabel Mark","year":"2008","unstructured":"Mark Gabel and Zhendong Su . 2008 . Javert: Fully automatic mining of general temporal properties from dynamic traces. In SIGSOFT FSE. ACM, 339--349. DOI:https:\/\/doi.org\/10.1145\/1453101.1453150 10.1145\/1453101.1453150 Mark Gabel and Zhendong Su. 2008. Javert: Fully automatic mining of general temporal properties from dynamic traces. In SIGSOFT FSE. ACM, 339--349. DOI:https:\/\/doi.org\/10.1145\/1453101.1453150"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1577069.1577113"},{"key":"e_1_2_1_41_1","volume-title":"Introduction to Concurrency Theory - Transition Systems and CCS","author":"Gorrieri Roberto","unstructured":"Roberto Gorrieri and Cristian Versari . 2015. Introduction to Concurrency Theory - Transition Systems and CCS . Springer . Roberto Gorrieri and Cristian Versari. 2015. Introduction to Concurrency Theory - Transition Systems and CCS. Springer."},{"key":"#cr-split#-e_1_2_1_42_1.1","doi-asserted-by":"crossref","unstructured":"Stewart Grant Hendrik Cech and Ivan Beschastnikh. 2018. Inferring and asserting distributed system invariants. In ICSE. ACM 1149--1159. DOI:https:\/\/doi.org\/10.1145\/3180155.3180199 10.1145\/3180155.3180199","DOI":"10.1145\/3180155.3180199"},{"key":"#cr-split#-e_1_2_1_42_1.2","doi-asserted-by":"crossref","unstructured":"Stewart Grant Hendrik Cech and Ivan Beschastnikh. 2018. Inferring and asserting distributed system invariants. In ICSE. ACM 1149--1159. DOI:https:\/\/doi.org\/10.1145\/3180155.3180199","DOI":"10.1145\/3180155.3180199"},{"key":"e_1_2_1_43_1","volume-title":"Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system","author":"Hamou-Lhadj Abdelwahab","unstructured":"Abdelwahab Hamou-Lhadj and Timothy Lethbridge . 2006. Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system . In ICPC. IEEE Computer Society , 181--190. DOI:https:\/\/doi.org\/10.1109\/ICPC.2006.45 10.1109\/ICPC.2006.45 Abdelwahab Hamou-Lhadj and Timothy Lethbridge. 2006. Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system. In ICPC. IEEE Computer Society, 181--190. DOI:https:\/\/doi.org\/10.1109\/ICPC.2006.45"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_46_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2007","unstructured":"John E. Hopcroft , Rajeev Motwani , and Jeffrey D . Ullman . 2007 . Introduction to Automata Theory, Languages, and Computation, 3 rd Edition. Addison-Wesley . John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2007. Introduction to Automata Theory, Languages, and Computation, 3rd Edition. Addison-Wesley.","edition":"3"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.03.017"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2017.11.007"},{"key":"e_1_2_1_49_1","volume-title":"A comparative study of existing quality measures for process discovery. IS 71","author":"Janssenswillen Gert","year":"2017","unstructured":"Gert Janssenswillen , Niels Donders , Toon Jouck , and Beno\u00eet Depaire . 2017. A comparative study of existing quality measures for process discovery. IS 71 ( 2017 ), 1--15. Gert Janssenswillen, Niels Donders, Toon Jouck, and Beno\u00eet Depaire. 2017. A comparative study of existing quality measures for process discovery. IS 71 (2017), 1--15."},{"key":"e_1_2_1_50_1","volume-title":"The Essence of Software Engineering, Volker Gruhn and R\u00fcdiger Striemer (Eds.)","author":"Kautz Oliver","unstructured":"Oliver Kautz , Alexander Roth , and Bernhard Rumpe . 2018. Achievements , failures, and the future of model-based software engineering . In The Essence of Software Engineering, Volker Gruhn and R\u00fcdiger Striemer (Eds.) . Springer , 221--236. DOI:https:\/\/doi.org\/10.1007\/978-3-319-73897-0_13 10.1007\/978-3-319-73897-0_13 Oliver Kautz, Alexander Roth, and Bernhard Rumpe. 2018. Achievements, failures, and the future of model-based software engineering. In The Essence of Software Engineering, Volker Gruhn and R\u00fcdiger Striemer (Eds.). Springer, 221--236. DOI:https:\/\/doi.org\/10.1007\/978-3-319-73897-0_13"},{"key":"e_1_2_1_51_1","volume-title":"Software Configuration Management","author":"Keyes Jessica","unstructured":"Jessica Keyes . 2004. Software Configuration Management . Auerbach Publications . Jessica Keyes. 2004. Software Configuration Management. Auerbach Publications."},{"key":"e_1_2_1_52_1","volume-title":"CAiSE (LNCS)","author":"Krismayer Thomas","unstructured":"Thomas Krismayer , Rick Rabiser , and Paul Gr\u00fcnbacher . 2019. A constraint mining approach to support monitoring cyber-physical systems . In CAiSE (LNCS) . Springer , 659--674. DOI:https:\/\/doi.org\/10.1007\/978-3-030-21290-2_41 10.1007\/978-3-030-21290-2_41 Thomas Krismayer, Rick Rabiser, and Paul Gr\u00fcnbacher. 2019. A constraint mining approach to support monitoring cyber-physical systems. In CAiSE (LNCS). Springer, 659--674. DOI:https:\/\/doi.org\/10.1007\/978-3-030-21290-2_41"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0389-6"},{"key":"e_1_2_1_55_1","volume-title":"Behavioural Models - From Modelling Finite Automata to Analysing Business Processes","author":"Kunze Matthias","unstructured":"Matthias Kunze and Mathias Weske . 2016. Behavioural Models - From Modelling Finite Automata to Analysing Business Processes . Springer . Matthias Kunze and Mathias Weske. 2016. Behavioural Models - From Modelling Finite Automata to Analysing Business Processes. Springer."},{"key":"e_1_2_1_56_1","volume-title":"Price","author":"Lang Kevin J.","year":"1998","unstructured":"Kevin J. Lang , Barak A. Pearlmutter , and Rodney A . Price . 1998 . Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm. In ICGI (LNCS). Springer , 1--12. DOI:https:\/\/doi.org\/10.1007\/BFb0054059 10.1007\/BFb0054059 Kevin J. Lang, Barak A. Pearlmutter, and Rodney A. Price. 1998. Results of the Abbadingo One DFA learning competition and a new evidence-driven state merging algorithm. In ICGI (LNCS). Springer, 1--12. DOI:https:\/\/doi.org\/10.1007\/BFb0054059"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0545-x"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479899358595"},{"key":"e_1_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Richard B. Lehoucq Danny C. Sorensen and Chao Yang. 1998. ARPACK Users\u2019 Guide: Solution of Large-scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods. SIAM.  Richard B. Lehoucq Danny C. Sorensen and Chao Yang. 1998. ARPACK Users\u2019 Guide: Solution of Large-scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods. SIAM.","DOI":"10.1137\/1.9780898719628"},{"key":"e_1_2_1_60_1","volume-title":"Software Configuration Management Handbook","author":"Leon Alexis","unstructured":"Alexis Leon . 2015. Software Configuration Management Handbook . Artech House . Alexis Leon. 2015. Software Configuration Management Handbook. Artech House."},{"key":"e_1_2_1_61_1","first-page":"707","article-title":"Binary codes capable of correcting deletions, insertions and reversals","volume":"10","author":"Levenshtein Vladimir Iosifovich","year":"1966","unstructured":"Vladimir Iosifovich Levenshtein . 1966 . Binary codes capable of correcting deletions, insertions and reversals . Sov. Phys. Dok. 10 , 8 (1966), 707 -- 710 . Vladimir Iosifovich Levenshtein. 1966. Binary codes capable of correcting deletions, insertions and reversals.Sov. Phys. Dok. 10, 8 (1966), 707--710.","journal-title":"Sov. Phys. Dok."},{"key":"e_1_2_1_62_1","volume-title":"QUARK: Empirical assessment of automaton-based specification miners","author":"Lo David","year":"2006","unstructured":"David Lo and Siau-Cheng Khoo . 2006 . QUARK: Empirical assessment of automaton-based specification miners . In WCRE. IEEE Computer Society , 51--60. DOI:https:\/\/doi.org\/10.1109\/WCRE.2006.47 10.1109\/WCRE.2006.47 David Lo and Siau-Cheng Khoo. 2006. QUARK: Empirical assessment of automaton-based specification miners. In WCRE. IEEE Computer Society, 51--60. DOI:https:\/\/doi.org\/10.1109\/WCRE.2006.47"},{"key":"e_1_2_1_63_1","unstructured":"David Lo and Siau-Cheng Khoo. 2006. SMArTIC: Towards building an accurate robust and scalable specification miner. In FSE. ACM 265--275.  David Lo and Siau-Cheng Khoo. 2006. SMArTIC: Towards building an accurate robust and scalable specification miner. In FSE. ACM 265--275."},{"key":"#cr-split#-e_1_2_1_64_1.1","doi-asserted-by":"crossref","unstructured":"David Lo Siau-Cheng Khoo and Chao Liu. 2007. Efficient mining of iterative patterns for software specification discovery. In SIGKDD. ACM 460--469. DOI:https:\/\/doi.org\/10.1145\/1281192.1281243 10.1145\/1281192.1281243","DOI":"10.1145\/1281192.1281243"},{"key":"#cr-split#-e_1_2_1_64_1.2","doi-asserted-by":"crossref","unstructured":"David Lo Siau-Cheng Khoo and Chao Liu. 2007. Efficient mining of iterative patterns for software specification discovery. In SIGKDD. ACM 460--469. DOI:https:\/\/doi.org\/10.1145\/1281192.1281243","DOI":"10.1145\/1281192.1281243"},{"key":"e_1_2_1_65_1","volume-title":"Mining Software Specifications: Methodologies and Applications","author":"Lo David","unstructured":"David Lo , Siau-Cheng Khoo , Jiawei Han , and Chao Liu . 2011. Mining Software Specifications: Methodologies and Applications . CRC Press . David Lo, Siau-Cheng Khoo, Jiawei Han, and Chao Liu. 2011. Mining Software Specifications: Methodologies and Applications. CRC Press."},{"key":"#cr-split#-e_1_2_1_66_1.1","doi-asserted-by":"crossref","unstructured":"Davide Lorenzoli Leonardo Mariani and Mauro Pezz\u00e8. 2008. Automatic generation of software behavioral models. In ICSE. ACM 501--510. DOI:https:\/\/doi.org\/10.1145\/1368088.1368157 10.1145\/1368088.1368157","DOI":"10.1145\/1368088.1368157"},{"key":"#cr-split#-e_1_2_1_66_1.2","doi-asserted-by":"crossref","unstructured":"Davide Lorenzoli Leonardo Mariani and Mauro Pezz\u00e8. 2008. Automatic generation of software behavioral models. In ICSE. ACM 501--510. DOI:https:\/\/doi.org\/10.1145\/1368088.1368157","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_2_1_67_1","volume-title":"Reijers","author":"Maggi Fabrizio Maria","year":"2014","unstructured":"Fabrizio Maria Maggi , Tijs Slaats , and Hajo A . Reijers . 2014 . The automated discovery of hybrid processes. In BPM. Springer , 392--399. Fabrizio Maria Maggi, Tijs Slaats, and Hajo A. Reijers. 2014. The automated discovery of hybrid processes. In BPM. Springer, 392--399."},{"key":"e_1_2_1_68_1","volume-title":"Process-annotated service discovery facilitated by an n-gram-based index","author":"Mahleko Bendick","unstructured":"Bendick Mahleko , Andreas Wombacher , and Peter Fankhauser . 2005. Process-annotated service discovery facilitated by an n-gram-based index . In EEE. IEEE , 2--8. Bendick Mahleko, Andreas Wombacher, and Peter Fankhauser. 2005. Process-annotated service discovery facilitated by an n-gram-based index. In EEE. IEEE, 2--8."},{"key":"e_1_2_1_69_1","volume-title":"Behavior capture and test: Automated analysis of component integration","author":"Mariani Leonardo","unstructured":"Leonardo Mariani and Mauro Pezz\u00e8 . 2005. Behavior capture and test: Automated analysis of component integration . In ICECCS. IEEE Computer Society , 292--301. DOI:https:\/\/doi.org\/10.1109\/ICECCS.2005.25 10.1109\/ICECCS.2005.25 Leonardo Mariani and Mauro Pezz\u00e8. 2005. Behavior capture and test: Automated analysis of component integration. In ICECCS. IEEE Computer Society, 292--301. DOI:https:\/\/doi.org\/10.1109\/ICECCS.2005.25"},{"key":"e_1_2_1_70_1","volume-title":"A Calculus of Communicating Systems","author":"Milner Robin","unstructured":"Robin Milner . 1982. A Calculus of Communicating Systems . Springer . Robin Milner. 1982. A Calculus of Communicating Systems. Springer."},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223108"},{"key":"e_1_2_1_72_1","volume-title":"Enhancing precision in process conformance: Stability, confidence and severity","author":"Munoz-Gama Jorge","unstructured":"Jorge Munoz-Gama and Josep Carmona . 2011. Enhancing precision in process conformance: Stability, confidence and severity . In CIDM. IEEE , 184--191. Jorge Munoz-Gama and Josep Carmona. 2011. Enhancing precision in process conformance: Stability, confidence and severity. In CIDM. IEEE, 184--191."},{"key":"e_1_2_1_73_1","volume-title":"The Art of Software Testing","author":"Myers Glenford J.","unstructured":"Glenford J. Myers , Corey Sandler , and Tom Badgett . 2011. The Art of Software Testing . John Wiley 8 Sons. Glenford J. Myers, Corey Sandler, and Tom Badgett. 2011. The Art of Software Testing. John Wiley 8 Sons."},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3147660"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1964-0161372-1"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.49.7.857.16382"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0372-4"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPM.2019.00022"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2017.04.011"},{"key":"e_1_2_1_80_1","volume-title":"CAiSE Forum (CEUR Workshop Proceedings)","volume":"998","author":"Polyvyanyy Artem","year":"2013","unstructured":"Artem Polyvyanyy and Matthias Weidlich . 2013 . Towards a compendium of process technologies\u2014The jBPT library for process model analysis . In CAiSE Forum (CEUR Workshop Proceedings) , vol. 998 . CEUR-WS, 1--8. http:\/\/ceur-ws.org\/Vol-998\/Paper14.pdf Artem Polyvyanyy and Matthias Weidlich. 2013. Towards a compendium of process technologies\u2014The jBPT library for process model analysis. In CAiSE Forum (CEUR Workshop Proceedings), vol. 998. CEUR-WS, 1--8. http:\/\/ceur-ws.org\/Vol-998\/Paper14.pdf"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.09.027"},{"key":"e_1_2_1_82_1","volume-title":"Gross","author":"Pradel Michael","year":"2010","unstructured":"Michael Pradel , Philipp Bichsel , and Thomas R . Gross . 2010 . A framework for the evaluation of specification miners based on finite state machines. In ICSM. IEEE Computer Society , 1--10. DOI:https:\/\/doi.org\/10.1109\/ICSM.2010.5609576 10.1109\/ICSM.2010.5609576 Michael Pradel, Philipp Bichsel, and Thomas R. Gross. 2010. A framework for the evaluation of specification miners based on finite state machines. In ICSM. IEEE Computer Society, 1--10. DOI:https:\/\/doi.org\/10.1109\/ICSM.2010.5609576"},{"key":"e_1_2_1_83_1","volume-title":"Claudio Di Ciccio, and Jan Mendling","author":"Prescher Johannes","year":"2014","unstructured":"Johannes Prescher , Claudio Di Ciccio, and Jan Mendling . 2014 . From declarative processes to imperative models. In SIMPDA. CEUR-WS , 162--173. Johannes Prescher, Claudio Di Ciccio, and Jan Mendling. 2014. From declarative processes to imperative models. In SIMPDA. CEUR-WS, 162--173."},{"key":"e_1_2_1_84_1","volume-title":"Dynamic protocol recovery","author":"Quante Jochen","unstructured":"Jochen Quante and Rainer Koschke . 2007. Dynamic protocol recovery . In WCRE. IEEE Computer Society , 219--228. DOI:https:\/\/doi.org\/10.1109\/WCRE.2007.24 10.1109\/WCRE.2007.24 Jochen Quante and Rainer Koschke. 2007. Dynamic protocol recovery. In WCRE. IEEE Computer Society, 219--228. DOI:https:\/\/doi.org\/10.1109\/WCRE.2007.24"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"e_1_2_1_86_1","volume-title":"Reiss and Manos Renieris","author":"Steven","year":"2001","unstructured":"Steven P. Reiss and Manos Renieris . 2001 . Encoding program executions. In ICSE, Hausi A. M\u00fcller, Mary Jean Harrold, and Wilhelm Sch\u00e4fer (Eds.). IEEE Computer Society , 221--230. Steven P. Reiss and Manos Renieris. 2001. Encoding program executions. In ICSE, Hausi A. M\u00fcller, Mary Jean Harrold, and Wilhelm Sch\u00e4fer (Eds.). IEEE Computer Society, 221--230."},{"key":"e_1_2_1_87_1","volume-title":"van der Aalst","author":"Rozinat Anne","year":"2008","unstructured":"Anne Rozinat and Wil M. P . van der Aalst . 2008 . Conformance checking of processes based on monitoring real behavior. IS 33, 1 (2008), 64--95. Anne Rozinat and Wil M. P. van der Aalst. 2008. Conformance checking of processes based on monitoring real behavior. IS 33, 1 (2008), 64--95."},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629506"},{"key":"e_1_2_1_89_1","volume-title":"Non-Negative Matrices and Markov Chains","author":"Seneta Eugene","unstructured":"Eugene Seneta . 2006. Non-Negative Matrices and Markov Chains . Springer . Eugene Seneta. 2006. Non-Negative Matrices and Markov Chains. Springer."},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.63"},{"key":"e_1_2_1_91_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","unstructured":"Michael Sipser . 2012. Introduction to the Theory of Computation ( 3 rd ed.). Cengage Learning . Michael Sipser. 2012. Introduction to the Theory of Computation (3rd ed.). Cengage Learning.","edition":"3"},{"key":"e_1_2_1_92_1","volume-title":"Hirtle","author":"Sorrows Molly E.","year":"1999","unstructured":"Molly E. Sorrows and Stephen C . Hirtle . 1999 . The nature of landmarks for real and electronic spaces. In COSIT (LNCS). Springer , 37--50. DOI:https:\/\/doi.org\/10.1007\/3-540-48384-5_3 10.1007\/3-540-48384-5_3 Molly E. Sorrows and Stephen C. Hirtle. 1999. The nature of landmarks for real and electronic spaces. In COSIT (LNCS). Springer, 37--50. DOI:https:\/\/doi.org\/10.1007\/3-540-48384-5_3"},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-60651-3_8"},{"key":"e_1_2_1_94_1","volume-title":"An Introduction to Measure Theory","author":"Tao T.","unstructured":"T. Tao . 2013. An Introduction to Measure Theory . American Mathematical Society . T. Tao. 2013. An Introduction to Measure Theory. American Mathematical Society."},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2018.01.013"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2519032"},{"key":"e_1_2_1_97_1","first-page":"182","article-title":"Replaying history on process models for conformance checking and performance analysis","volume":"2","author":"van der Aalst Wil M. P.","year":"2012","unstructured":"Wil M. P. van der Aalst , Arya Adriansyah , and Boudewijn F. van Dongen . 2012 . Replaying history on process models for conformance checking and performance analysis . WIDM 2 , 2 (2012), 182 -- 192 . Wil M. P. van der Aalst, Arya Adriansyah, and Boudewijn F. van Dongen. 2012. Replaying history on process models for conformance checking and performance analysis. WIDM 2, 2 (2012), 182--192.","journal-title":"WIDM"},{"key":"e_1_2_1_98_1","volume-title":"Process Mining\u2014Data Science in Action","author":"van der Aalst Wil M. P.","unstructured":"Wil M. P. van der Aalst . 2016. Process Mining\u2014Data Science in Action ( 2 nd ed.). Springer . Wil M. P. van der Aalst. 2016. Process Mining\u2014Data Science in Action (2nd ed.). Springer.","edition":"2"},{"key":"e_1_2_1_99_1","volume-title":"ATAED (CEUR Workshop Proceedings)","volume":"2115","author":"Wil M.","unstructured":"Wil M. P. van der Aalst. 2018. Relating process models and event logs \u2013 21 conformance propositions . In ATAED (CEUR Workshop Proceedings) , Vol. 2115 . CEUR-WS.org, 56--74. Wil M. P. van der Aalst. 2018. Relating process models and event logs \u2013 21 conformance propositions. In ATAED (CEUR Workshop Proceedings), Vol. 2115. CEUR-WS.org, 56--74."},{"key":"e_1_2_1_100_1","volume-title":"Declarative workflows: Balancing between flexibility and support. Computer Science - R8D 23, 2","author":"van der Aalst Wil M. P.","year":"2009","unstructured":"Wil M. P. van der Aalst , Maja Pesic , and Helen Schonenberg . 2009. Declarative workflows: Balancing between flexibility and support. Computer Science - R8D 23, 2 ( 2009 ), 99--113. Wil M. P. van der Aalst, Maja Pesic, and Helen Schonenberg. 2009. Declarative workflows: Balancing between flexibility and support. Computer Science - R8D 23, 2 (2009), 99--113."},{"key":"e_1_2_1_101_1","volume-title":"Dutch Financial Institute\u2019s Event Log. Dataset of the BPI Challenge","author":"van Dongen Boudewijn F.","year":"2012","unstructured":"Boudewijn F. van Dongen . 2012. Dutch Financial Institute\u2019s Event Log. Dataset of the BPI Challenge 2012 . Boudewijn F. van Dongen. 2012. Dutch Financial Institute\u2019s Event Log. Dataset of the BPI Challenge 2012."},{"key":"e_1_2_1_102_1","volume-title":"A unified approach for measuring precision and generalization based on anti-alignments","author":"van Dongen Boudewijn F.","unstructured":"Boudewijn F. van Dongen , Josep Carmona , and Thomas Chatain . 2016. A unified approach for measuring precision and generalization based on anti-alignments . In BPM. Springer , 39--56. Boudewijn F. van Dongen, Josep Carmona, and Thomas Chatain. 2016. A unified approach for measuring precision and generalization based on anti-alignments. In BPM. Springer, 39--56."},{"key":"e_1_2_1_103_1","volume-title":"The linear time - Branching time spectrum II","author":"van Glabbeek Rob J.","unstructured":"Rob J. van Glabbeek . 1993. The linear time - Branching time spectrum II . In CONCUR. Springer , 66--81. Rob J. van Glabbeek. 1993. The linear time - Branching time spectrum II. In CONCUR. Springer, 66--81."},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360000041"},{"key":"e_1_2_1_105_1","volume-title":"Jan Vanthienen, and Bart Baesens.","author":"vanden Broucke Seppe","year":"2013","unstructured":"Seppe vanden Broucke , Jochen De Weerdt , Jan Vanthienen, and Bart Baesens. 2013 . A comprehensive benchmarking framework (CoBeFra) for conformance analysis between procedural process models and event logs in ProM. In CIDM. IEEE , 254--261. Seppe vanden Broucke, Jochen De Weerdt, Jan Vanthienen, and Bart Baesens. 2013. A comprehensive benchmarking framework (CoBeFra) for conformance analysis between procedural process models and event logs in ProM. In CIDM. IEEE, 254--261."},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.130"},{"key":"e_1_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"e_1_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306607"},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430545.2430549"},{"key":"e_1_2_1_110_1","volume-title":"ICGI (LNCS)","author":"Walkinshaw Neil","unstructured":"Neil Walkinshaw , Kirill Bogdanov , and Ken Johnson . 2008. Evaluation and comparison of inferred regular grammars . In ICGI (LNCS) , vol. 5278 . Springer , 252--265. DOI:https:\/\/doi.org\/10.1007\/978-3-540-88009-7_20 10.1007\/978-3-540-88009-7_20 Neil Walkinshaw, Kirill Bogdanov, and Ken Johnson. 2008. Evaluation and comparison of inferred regular grammars. In ICGI (LNCS), vol. 5278. Springer, 252--265. DOI:https:\/\/doi.org\/10.1007\/978-3-540-88009-7_20"},{"key":"e_1_2_1_111_1","volume-title":"FM (LNCS)","author":"Walkinshaw Neil","unstructured":"Neil Walkinshaw , John Derrick , and Qiang Guo . 2009. Iterative refinement of reverse-engineered models by model-based testing . In FM (LNCS) . Springer , 305--320. DOI:https:\/\/doi.org\/10.1007\/978-3-642-05089-3_20 10.1007\/978-3-642-05089-3_20 Neil Walkinshaw, John Derrick, and Qiang Guo. 2009. Iterative refinement of reverse-engineered models by model-based testing. In FM (LNCS). Springer, 305--320. DOI:https:\/\/doi.org\/10.1007\/978-3-642-05089-3_20"},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"},{"key":"e_1_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949428"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.96"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.04.002"},{"key":"e_1_2_1_116_1","first-page":"1","article-title":"Process Mining with the Heuristics Miner-Algorithm. Technische Universiteit Eindhoven","volume":"166","author":"Weijters A. J. M. M.","year":"2006","unstructured":"A. J. M. M. Weijters , Wil M. P. van der Aalst , and Ana Karla Alves de Medeiros . 2006 . Process Mining with the Heuristics Miner-Algorithm. Technische Universiteit Eindhoven , Tech. Rep. WP 166 (2006), 1 -- 34 . A. J. M. M. Weijters, Wil M. P. van der Aalst, and Ana Karla Alves de Medeiros. 2006. Process Mining with the Heuristics Miner-Algorithm. Technische Universiteit Eindhoven, Tech. Rep. WP 166 (2006), 1--34.","journal-title":"Tech. Rep. WP"},{"key":"e_1_2_1_117_1","volume-title":"Languages, Architectures","author":"Weske Mathias","unstructured":"Mathias Weske . 2012. Business Process Management - Concepts , Languages, Architectures , 2 nd Edition. Springer Berlin . DOI:https:\/\/doi.org\/10.1007\/978-3-642-28616-2 10.1007\/978-3-642-28616-2 Mathias Weske. 2012. Business Process Management - Concepts, Languages, Architectures, 2nd Edition. Springer Berlin. DOI:https:\/\/doi.org\/10.1007\/978-3-642-28616-2","edition":"2"},{"key":"e_1_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.357231"},{"key":"e_1_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387909","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":122,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,7,31]]}},"alternative-id":["10.1145\/3387909"],"URL":"https:\/\/doi.org\/10.1145\/3387909","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"2019-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}