{"id":"https://openalex.org/W4401365267","doi":"https://doi.org/10.1145/3643667","title":"Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering","display_name":"Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering","publication_year":2024,"publication_date":"2024-04-16","ids":{"openalex":"https://openalex.org/W4401365267","doi":"https://doi.org/10.1145/3643667"},"language":"en","primary_location":{"id":"doi:10.1145/3643667","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3643667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3643667?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3643667?download=true","any_repository_has_fulltext":null},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9072999954223633,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9072999954223633,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6668102145195007},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5140915513038635},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4592241644859314},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20121952891349792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6668102145195007},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5140915513038635},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4592241644859314},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20121952891349792}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3643667","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3643667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3643667?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":{"id":"doi:10.1145/3643667","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3643667","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3643667?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2909309003","display_name":"Reliable and Robust Quantum Computing","funder_award_id":"EP/W032635/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3463879373","display_name":null,"funder_award_id":"NextGenerationEU/PRTR","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7170562764","display_name":"Verified Simulation for Large Quantum Systems (VSL-Q)","funder_award_id":"EP/Y005244/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320285","display_name":"King's College London","ror":"https://ror.org/0220mzb33"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401365267.pdf","grobid_xml":"https://content.openalex.org/works/W4401365267.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Manually":[0],"debugging":[1,16,21],"quantum":[2,26,39,61],"programs":[3],"is":[4,100],"a":[5,38,43,87],"difficult":[6],"and":[7,22,55,66,77,93,99,135],"timeintensive":[8],"process.In":[9],"this":[10],"paper,":[11],"we":[12,52],"introduce":[13],"an":[14,35],"automated":[15],"technique,":[17,51],"based":[18],"on":[19],"delta":[20],"property-based":[23,44],"testing,":[24],"for":[25],"programs.Our":[27],"technique":[28],"automatically":[29],"identifies":[30],"the":[31,64,73,105,111,113,116,121,125,131],"changes":[32,58,108],"made":[33],"within":[34],"update":[36],"to":[37,47,110],"program":[40],"that":[41,83],"cause":[42],"regression":[45],"test":[46],"fail.To":[48],"evaluate":[49],"our":[50,69,84],"inject":[53],"faults":[54,76],"semantic":[56,78],"preserving":[57,79],"into":[59],"three":[60],"algorithms.We":[62],"discuss":[63],"viability":[65],"efficacy":[67],"of":[68,75,104,107,115,123,133],"approach":[70],"after":[71],"measuring":[72],"percentage":[74],"changes.Our":[80],"results":[81],"indicate":[82],"method":[85,117],"has":[86],"high":[88],"true":[89,94],"positive":[90],"(called":[91,97],"sensitivity)":[92],"negative":[95],"rate":[96],"specificity)":[98],"robust":[101],"in":[102],"terms":[103],"amount":[106],"introduced":[109],"program.Moreover,":[112],"sensitivity":[114],"increases":[118],"significantly":[119],"with":[120],"number":[122,132],"properties.While":[124],"specificity":[126],"remains":[127],"stable":[128],"when":[129],"increasing":[130],"properties":[134],"inputs.":[136]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}