{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:21Z","timestamp":1750220001721,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,18]]},"DOI":"10.1145\/3524482.3527647","type":"proceedings-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T22:06:57Z","timestamp":1658441217000},"page":"12-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Counting bugs in behavioural models using counterexample analysis"],"prefix":"10.1145","author":[{"given":"Irman","family":"Faqrizal","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"volume-title":"Principles of Model Checking","author":"Baier C.","key":"e_1_3_2_1_1_1","unstructured":"C. Baier and J.-P. Katoen . 2008. Principles of Model Checking . MIT Press . C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press."},{"volume-title":"Proc. of POPL'03","author":"Ball Thomas","key":"e_1_3_2_1_2_1","unstructured":"Thomas Ball , Mayur Naik , and Sriram K. Rajamani . 2003. From Symptom to Cause: Localizing Errors in Counterexample Traces . In Proc. of POPL'03 . ACM, 97--105. Thomas Ball, Mayur Naik, and Sriram K. Rajamani. 2003. From Symptom to Cause: Localizing Errors in Counterexample Traces. In Proc. of POPL'03. ACM, 97--105."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_26"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2915303"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00050"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_14"},{"key":"e_1_3_2_1_7_1","volume-title":"Lynch","author":"Burns James E.","year":"1993","unstructured":"James E. Burns and Nancy A . Lynch . 1993 . Bounds on Shared Memory for Mutual Exclusion. In Information and Computation, Vol. 107 . Academic Press , 171--184. James E. Burns and Nancy A. Lynch. 1993. Bounds on Shared Memory for Mutual Exclusion. In Information and Computation, Vol. 107. Academic Press, 171--184."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_8"},{"key":"e_1_3_2_1_9_1","unstructured":"D. Champelovier X. Clerc H. Garavel Y. Guerte F. Lang C. McKinty V. Powazny W. Serwe and G. Smeding. 2018. Reference Manual of the LNT to LOTOS Translator (Version 6.7). (2018). INRIA\/VASY and INRIA\/CONVECS 153 pages.  D. Champelovier X. Clerc H. Garavel Y. Guerte F. Lang C. McKinty V. Powazny W. Serwe and G. Smeding. 2018. Reference Manual of the LNT to LOTOS Translator (Version 6.7). (2018). INRIA\/VASY and INRIA\/CONVECS 153 pages."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0097-y"},{"key":"e_1_3_2_1_11_1","volume-title":"Juarez Dominguez and Nancy A. Day","author":"Alma","year":"2013","unstructured":"Alma L. Juarez Dominguez and Nancy A. Day . 2013 . Generating Multiple Diverse Counterexamples for an EFSM. Technical Report CS-2013-06. University of Waterloo . Alma L. Juarez Dominguez and Nancy A. Day. 2013. Generating Multiple Diverse Counterexamples for an EFSM. Technical Report CS-2013-06. University of Waterloo."},{"key":"e_1_3_2_1_12_1","volume-title":"Advances in Petri Nets (LNCS","volume":"428","author":"Esparza Javier","year":"1996","unstructured":"Javier Esparza . 1996 . Decidabilityand Complexity of Petri Net Problems - An Introduction. In Lectures on Petri Nets I: Basic Models , Advances in Petri Nets (LNCS , Vol. 1491). Springer, 374-- 428 . Javier Esparza. 1996. Decidabilityand Complexity of Petri Net Problems - An Introduction. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets (LNCS, Vol. 1491). Springer, 374--428."},{"volume-title":"Debugging and Quantifying Behavioural Models Using Counterexample Analysis. Master's thesis","author":"Faqrizal Irman","key":"e_1_3_2_1_13_1","unstructured":"Irman Faqrizal . 2021. Debugging and Quantifying Behavioural Models Using Counterexample Analysis. Master's thesis . University Grenoble Alpes , France. Irman Faqrizal. 2021. Debugging and Quantifying Behavioural Models Using Counterexample Analysis. Master's thesis. University Grenoble Alpes, France."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC51365.2020.00017"},{"key":"e_1_3_2_1_15_1","volume-title":"CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT 15","author":"Garavel Hubert","year":"2013","unstructured":"Hubert Garavel , Fr\u00e9d\u00e9ric Lang , Radu Mateescu , and Wendelin Serwe . 2013 . CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT 15 , 2 (2013), 89--107. Hubert Garavel, Fr\u00e9d\u00e9ric Lang, Radu Mateescu, and Wendelin Serwe. 2013. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT 15, 2 (2013), 89--107."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_8"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of TACAS'02 (LNCS","volume":"459","author":"Jin HoonSang","year":"2002","unstructured":"HoonSang Jin , Kavita Ravi , and Fabio Somenzi . 2002 . Fate and Free Will in Error Traces . In Proc. of TACAS'02 (LNCS , Vol. 2280). Springer, 445-- 459 . HoonSang Jin, Kavita Ravi, and Fabio Somenzi. 2002. Fate and Free Will in Error Traces. In Proc. of TACAS'02 (LNCS, Vol. 2280). Springer, 445--459."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_17"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.62"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.9"},{"volume-title":"Proc. of SDM'03","author":"Yan Xifeng","key":"e_1_3_2_1_24_1","unstructured":"Xifeng Yan , Jiawei Han , and Ramin Afshar . 2003. CloSpan: Mining Closed Sequential Patterns in Large Datasets . In Proc. of SDM'03 . SIAM , 166--177. Xifeng Yan, Jiawei Han, and Ramin Afshar. 2003. CloSpan: Mining Closed Sequential Patterns in Large Datasets. In Proc. of SDM'03. SIAM, 166--177."},{"volume-title":"Why Programs Fail - A Guide to Systematic Debugging","author":"Zeller Andreas","key":"e_1_3_2_1_25_1","unstructured":"Andreas Zeller . 2009. Why Programs Fail - A Guide to Systematic Debugging . Academic Press . Andreas Zeller. 2009. Why Programs Fail - A Guide to Systematic Debugging. Academic Press."}],"event":{"name":"FormaliSE '22: International Conference on Formal Methods in Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"FormaliSE '22"},"container-title":["Proceedings of the IEEE\/ACM 10th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524482.3527647","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524482.3527647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:59Z","timestamp":1750182659000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524482.3527647"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,18]]},"references-count":24,"alternative-id":["10.1145\/3524482.3527647","10.1145\/3524482"],"URL":"https:\/\/doi.org\/10.1145\/3524482.3527647","relation":{},"subject":[],"published":{"date-parts":[[2022,5,18]]},"assertion":[{"value":"2022-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}