{"id":"https://openalex.org/W6967709777","doi":"https://doi.org/10.5281/zenodo.12820079","title":"Mutation-guided Metamorphic Testing of Optimality in AI Planning","display_name":"Mutation-guided Metamorphic Testing of Optimality in AI Planning","publication_year":2024,"publication_date":"2024-07-25","ids":{"openalex":"https://openalex.org/W6967709777","doi":"https://doi.org/10.5281/zenodo.12820079"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.12820079","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12820079","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.12820079","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mazouni, Quentin","orcid":"https://orcid.org/0009-0003-3519-5514"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Mazouni, Quentin","raw_affiliation_strings":["Simula Research Laboratory"],"raw_orcid":"https://orcid.org/0009-0003-3519-5514","affiliations":[{"raw_affiliation_string":"Simula Research Laboratory","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Gotlieb, Arnaud","orcid":"https://orcid.org/0000-0002-8980-7585"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Gotlieb, Arnaud","raw_affiliation_strings":["Simula Research Laboratory"],"raw_orcid":"https://orcid.org/0000-0002-8980-7585","affiliations":[{"raw_affiliation_string":"Simula Research Laboratory","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Spieker, Helge","orcid":"https://orcid.org/0000-0003-2494-4279"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Spieker, Helge","raw_affiliation_strings":["Simula Research Laboratory"],"raw_orcid":"https://orcid.org/0000-0003-2494-4279","affiliations":[{"raw_affiliation_string":"Simula Research Laboratory","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"last","author":{"id":null,"display_name":"Acher, Mathieu","orcid":"https://orcid.org/0000-0003-1483-3858"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I4210157684","display_name":"Institut f\u00fcr Regionale Innovation und Sozialforschung","ror":"https://ror.org/04r7vw960","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157684"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["DE","FR"],"is_corresponding":false,"raw_author_name":"Acher, Mathieu","raw_affiliation_strings":["University of Rennes","French National Centre for Scientific Research","Inria Rennes - Bretagne Atlantique Research Centre","IRISA"],"raw_orcid":"https://orcid.org/0000-0003-1483-3858","affiliations":[{"raw_affiliation_string":"University of Rennes","institution_ids":["https://openalex.org/I56067802"]},{"raw_affiliation_string":"French National Centre for Scientific Research","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Inria Rennes - Bretagne Atlantique Research Centre","institution_ids":["https://openalex.org/I4210133778"]},{"raw_affiliation_string":"IRISA","institution_ids":["https://openalex.org/I4210157684","https://openalex.org/I2802519937"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I2799829267"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/metamorphic-rock","display_name":"Metamorphic rock","score":0.4316999912261963},{"id":"https://openalex.org/keywords/raw-data","display_name":"Raw data","score":0.4302000105381012},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4260999858379364},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3418999910354614},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.3334999978542328}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5918999910354614},{"id":"https://openalex.org/C26687426","wikidata":"https://www.wikidata.org/wiki/Q47069","display_name":"Metamorphic rock","level":2,"score":0.4316999912261963},{"id":"https://openalex.org/C132964779","wikidata":"https://www.wikidata.org/wiki/Q2110223","display_name":"Raw data","level":2,"score":0.4302000105381012},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38339999318122864},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3418999910354614},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2791000008583069},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.12820079","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12820079","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.12820079","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12820079","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"sustainable_development_goals":[{"score":0.4404633939266205,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Experimental":[0],"results":[1],"presented":[2],"in":[3,11],"the":[4,15,18,29,36,39,42,45,49],"article":[5],"Mutation-guided":[6],"Metamorphic":[7],"Testing":[8],"of":[9,44],"Optimality":[10],"AI":[12],"Planning,":[13],"both":[14],"figures":[16],"and":[17],"raw":[19],"data.":[20],"The":[21],"framework":[22],"itself":[23],"is":[24],"hosted":[25],"on":[26],"GitHub":[27],"(see":[28],"link":[30],"below).":[31],"In":[32],"order":[33],"to":[34],"use":[35],"data":[37],"with":[38],"framework,":[40],"unzip":[41],"files":[43],"archive":[46],"results.zip":[47],"inside":[48],"folder":[50],"results/.":[51]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}
