{"id":"https://openalex.org/W4389159658","doi":"https://doi.org/10.1145/3611643.3613080","title":"Towards Strengthening Formal Specifications with Mutation Model Checking","display_name":"Towards Strengthening Formal Specifications with Mutation Model Checking","publication_year":2023,"publication_date":"2023-11-30","ids":{"openalex":"https://openalex.org/W4389159658","doi":"https://doi.org/10.1145/3611643.3613080"},"language":"en","primary_location":{"id":"doi:10.1145/3611643.3613080","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3613080","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3613080","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3613080","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["University of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0001-8312-1358","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107244701","display_name":"Sami Lazreg","orcid":"https://orcid.org/0009-0002-5201-3463"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Sami Lazreg","raw_affiliation_strings":["University of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0009-0002-5201-3463","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["Universit\u00e9 Catholique de Louvain, Louvain-La-Neuve, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-2287-8925","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Catholique de Louvain, Louvain-La-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre Yves Schobbens","raw_affiliation_strings":["University of Namur, Namur, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-8677-4485","affiliations":[{"raw_affiliation_string":"University of Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000695937"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18057456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2102","last_page":"2106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.753272294998169},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7063471078872681},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6248930096626282},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.6010524034500122},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5236358642578125},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4851594567298889},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47958722710609436},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.4718877077102661},{"id":"https://openalex.org/keywords/specification","display_name":"Specification","score":0.468121200799942},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46289128065109253},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.460845947265625},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3725680708885193},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3233796954154968},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1509680151939392},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11799168586730957}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.753272294998169},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7063471078872681},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6248930096626282},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.6010524034500122},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5236358642578125},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4851594567298889},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47958722710609436},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.4718877077102661},{"id":"https://openalex.org/C117222624","wikidata":"https://www.wikidata.org/wiki/Q7575010","display_name":"Specification","level":2,"score":0.468121200799942},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46289128065109253},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.460845947265625},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3725680708885193},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3233796954154968},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1509680151939392},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11799168586730957},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3611643.3613080","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3613080","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3613080","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/59630","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/59630","pdf_url":"https://orbilu.uni.lu/bitstream/10993/59630/1/NIER_FSE23-1.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2023-11-30); Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, Usa [Usa], 03-12-2023 => 09-12-2023","raw_type":"peer reviewed"},{"id":"pmh:oai:pure.unamur.be:openaire/06b85626-14ea-4e2c-811f-54d20965bb52","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/06b85626-14ea-4e2c-811f-54d20965bb52","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cordy, M, Lazreg, S, Legay, A & Schobbens, P Y 2023, Towards Strengthening Formal Specifications with Mutation Model Checking. in S Chandra, K Blincoe & P Tonella (eds), ESEC/FSE 2023 : Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM Press, pp. 2102-2106, 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, United States, 3/12/23. https://doi.org/10.1145/3611643.3613080","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/06b85626-14ea-4e2c-811f-54d20965bb52","is_oa":true,"landing_page_url":"https://www.scopus.com/pages/publications/85180552505","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cordy, M, Lazreg, S, Legay, A & Schobbens, P Y 2023, Towards Strengthening Formal Specifications with Mutation Model Checking. in S Chandra, K Blincoe & P Tonella (eds), ESEC/FSE 2023 : Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM Press, pp. 2102-2106, 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, United States, 3/12/23. https://doi.org/10.1145/3611643.3613080","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1145/3611643.3613080","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3611643.3613080","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3611643.3613080","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389159658.pdf","grobid_xml":"https://content.openalex.org/works/W4389159658.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W98666333","https://openalex.org/W100697449","https://openalex.org/W1498432697","https://openalex.org/W1567645817","https://openalex.org/W1828718242","https://openalex.org/W1896160926","https://openalex.org/W2045169222","https://openalex.org/W2051085665","https://openalex.org/W2068847249","https://openalex.org/W2080945770","https://openalex.org/W2110025251","https://openalex.org/W2124268470","https://openalex.org/W2165575313","https://openalex.org/W2242407529","https://openalex.org/W2290463275","https://openalex.org/W2786598140","https://openalex.org/W2807161818","https://openalex.org/W2912640545","https://openalex.org/W2954583943","https://openalex.org/W2979249584","https://openalex.org/W3046767532","https://openalex.org/W3114699776","https://openalex.org/W3123154610","https://openalex.org/W3209701753","https://openalex.org/W4200024925","https://openalex.org/W4246952859"],"related_works":["https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"We":[0],"propose":[1,68],"mutation":[2,18],"model":[3,14,80],"checking":[4],"as":[5],"an":[6],"approach":[7,21],"to":[8,32,71],"strengthen":[9,72],"formal":[10],"specifications":[11,24],"used":[12],"for":[13],"checking.":[15],"Inspired":[16],"by":[17],"testing,":[19],"our":[20],"concludes":[22],"that":[23,77],"are":[25],"not":[26],"strong":[27],"enough":[28],"if":[29],"they":[30],"fail":[31],"detect":[33,56],"faults":[34],"in":[35],"purposely":[36],"mutated":[37],"models.":[38],"Our":[39],"preliminary":[40],"experiments":[41],"on":[42],"two":[43],"case":[44],"studies":[45],"confirm":[46],"the":[47,50,73,78,82,86],"relevance":[48],"of":[49,60],"problem:":[51],"their":[52],"specification":[53,84],"can":[54],"only":[55],"40%":[57],"and":[58],"60%":[59],"randomly":[61],"generated":[62],"mutants.":[63],"As":[64],"a":[65,69],"result,":[66],"we":[67],"framework":[70],"original":[74,79],"specification,":[75],"such":[76],"satisfies":[81],"strengthened":[83],"but":[85],"mutants":[87],"do":[88],"not.":[89]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2023-12-01T00:00:00"}