{"id":"https://openalex.org/W4313116689","doi":"https://doi.org/10.1145/3510454.3528649","title":"Mutation testing of quantum programs written in QISKit","display_name":"Mutation testing of quantum programs written in QISKit","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4313116689","doi":"https://doi.org/10.1145/3510454.3528649"},"language":"en","primary_location":{"id":"doi:10.1145/3510454.3528649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510454.3528649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001092317","display_name":"Daniel Fortunato","orcid":"https://orcid.org/0000-0003-2596-6859"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Daniel Fortunato","raw_affiliation_strings":["Faculty of Engineering of University of Porto & INESC-ID, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering of University of Porto & INESC-ID, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101595466","display_name":"Jos\u00e9 Campos","orcid":"https://orcid.org/0000-0001-7565-8382"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4210105462","display_name":"Lus\u00edada University of Lisbon","ror":"https://ror.org/00zjprf31","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210105462","https://openalex.org/I4401200244"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Campos","raw_affiliation_strings":["Universidade de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4210105462"]}]},{"author_position":"last","author":{"id":null,"display_name":"Rui Abreu","orcid":null},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rui Abreu","raw_affiliation_strings":["Faculty of Engineering of University of Porto & INESC-ID, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering of University of Porto & INESC-ID, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I182534213"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"358","last_page":"359"},"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.9998000264167786,"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.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/computer-science","display_name":"Computer science","score":0.6344125866889954},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5403163433074951},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.532921314239502},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.4816219210624695},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.44617584347724915},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4177745580673218},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.41604551672935486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32702112197875977},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2780727744102478},{"id":"https://openalex.org/keywords/genetics","display_name":"Genetics","score":0.18438297510147095},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1771252453327179},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.07001128792762756}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6344125866889954},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5403163433074951},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.532921314239502},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.4816219210624695},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.44617584347724915},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4177745580673218},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.41604551672935486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32702112197875977},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2780727744102478},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.18438297510147095},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1771252453327179},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.07001128792762756},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3510454.3528649","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510454.3528649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4099999964237213,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2682664750","https://openalex.org/W2948318865","https://openalex.org/W3161580966","https://openalex.org/W3185543386","https://openalex.org/W3196350964","https://openalex.org/W4211180451"],"related_works":["https://openalex.org/W4379878980","https://openalex.org/W2619222128","https://openalex.org/W3174478574","https://openalex.org/W2963768709","https://openalex.org/W4287333466","https://openalex.org/W3128569495","https://openalex.org/W1997854118","https://openalex.org/W2951211905","https://openalex.org/W3086952153","https://openalex.org/W4380484796"],"abstract_inverted_index":{"There":[0],"is":[1],"an":[2,57,94],"inherent":[3],"lack":[4],"of":[5,22,32,49,59,105],"knowledge":[6],"and":[7,42,62],"technology":[8],"to":[9,35,92],"test":[10],"a":[11,29,75],"quantum":[12,25,43,50,81,96,106],"program":[13],"properly.":[14],"In":[15],"this":[16],"paper,":[17],"building":[18],"on":[19,39,78,101],"the":[20,47,60,85,102],"definition":[21],"syntactically":[23],"equivalent":[24],"operations,":[26],"we":[27,53,73],"investigated":[28],"novel":[30],"set":[31],"mutation":[33,51,66,97],"operators":[34],"generate":[36],"mutants":[37],"based":[38],"qubit":[40],"measurements":[41],"gates.":[44],"To":[45,69],"ease":[46],"adoption":[48],"testing,":[52],"further":[54],"discuss":[55],"QMutPy,":[56],"extension":[58],"well-known":[61],"fully":[63],"automated":[64],"open-source":[65],"tool":[67],"MutPy.":[68],"evaluate":[70],"QMutPy's":[71],"performance":[72],"conducted":[74],"case":[76],"study":[77],"11":[79],"real":[80],"programs":[82],"written":[83],"in":[84],"IBM's":[86],"QISKit":[87],"library.":[88],"QMutPy":[89],"has":[90],"proven":[91],"be":[93],"effective":[95],"tool,":[98],"providing":[99],"insight":[100],"current":[103],"state":[104],"tests.":[107]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":5}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}