{"id":"https://openalex.org/W2962278585","doi":"https://doi.org/10.1007/978-3-030-30446-1_11","title":"Mutation Testing with Hyperproperties","display_name":"Mutation Testing with Hyperproperties","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2962278585","doi":"https://doi.org/10.1007/978-3-030-30446-1_11","mag":"2962278585","pmid":"https://pubmed.ncbi.nlm.nih.gov/34720800"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-30446-1_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-30446-1_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-020-00850-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103176215","display_name":"Andreas Fellner","orcid":"https://orcid.org/0000-0002-3618-2251"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Andreas Fellner","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna, Austria","TU Wien, Vienna, Austria","AIT Austrian Institute of Technology, Seibersdorf, Austria#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]},{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"AIT Austrian Institute of Technology, Seibersdorf, Austria#TAB#","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088336171","display_name":"Mitra Tabaei Befrouei","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mitra Tabaei Befrouei","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017958562","display_name":"Georg Wei\u00dfenbacher","orcid":"https://orcid.org/0000-0002-0143-632X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Georg Weissenbacher","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103176215"],"corresponding_institution_ids":["https://openalex.org/I132118926","https://openalex.org/I145847075"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0678685,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"2","first_page":"203","last_page":"221"},"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.9998999834060669,"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.9998999834060669,"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.9944000244140625,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9890000224113464,"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/computer-science","display_name":"Computer science","score":0.7521240711212158},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.6389294266700745},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5234705209732056},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5218745470046997},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.48704126477241516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48668819665908813},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48529714345932007},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.46321067214012146},{"id":"https://openalex.org/keywords/mutant","display_name":"Mutant","score":0.45018470287323},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3746874928474426},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12146589159965515},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.07773345708847046},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.07770740985870361},{"id":"https://openalex.org/keywords/genetics","display_name":"Genetics","score":0.07710707187652588}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7521240711212158},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.6389294266700745},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5234705209732056},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5218745470046997},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.48704126477241516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48668819665908813},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48529714345932007},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.46321067214012146},{"id":"https://openalex.org/C143065580","wikidata":"https://www.wikidata.org/wiki/Q3285695","display_name":"Mutant","level":3,"score":0.45018470287323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3746874928474426},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12146589159965515},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.07773345708847046},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.07770740985870361},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.07710707187652588},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-030-30446-1_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-30446-1_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"doi:10.1007/s10270-020-00850-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-020-00850-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-020-00850-1.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmid:34720800","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/34720800","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and systems modeling","raw_type":null},{"id":"pmh:oai:arXiv.org:1907.07368","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.07368","pdf_url":"https://arxiv.org/pdf/1907.07368","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:europepmc.org:7442551","is_oa":true,"landing_page_url":"http://europepmc.org/pmc/articles/PMC8550165","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"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":"","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:8550165","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/8550165","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Softw Syst Model","raw_type":"Text"},{"id":"mag:2962278585","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1907.07368.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1907.07368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1907.07368","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/s10270-020-00850-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-020-00850-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-020-00850-1.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7900000214576721}],"awards":[{"id":"https://openalex.org/G2512157488","display_name":"Heisenbugs: From Detection to Explanation","funder_award_id":"VRG11-005","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2962278585.pdf","grobid_xml":"https://content.openalex.org/works/W2962278585.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W33337023","https://openalex.org/W56086133","https://openalex.org/W268226976","https://openalex.org/W953200356","https://openalex.org/W1213177963","https://openalex.org/W1480909796","https://openalex.org/W1495461922","https://openalex.org/W1505422411","https://openalex.org/W1516955633","https://openalex.org/W1592087875","https://openalex.org/W1731663387","https://openalex.org/W1963436944","https://openalex.org/W1983762734","https://openalex.org/W1986867802","https://openalex.org/W1988236026","https://openalex.org/W1996596150","https://openalex.org/W2013711971","https://openalex.org/W2030865387","https://openalex.org/W2049695835","https://openalex.org/W2052495090","https://openalex.org/W2054283290","https://openalex.org/W2055647675","https://openalex.org/W2087046173","https://openalex.org/W2094163305","https://openalex.org/W2108557864","https://openalex.org/W2112640524","https://openalex.org/W2135841285","https://openalex.org/W2156421816","https://openalex.org/W2157755550","https://openalex.org/W2163559687","https://openalex.org/W2171683519","https://openalex.org/W2172253171","https://openalex.org/W2528934019","https://openalex.org/W2603022255","https://openalex.org/W2615425209","https://openalex.org/W2734723004","https://openalex.org/W2757343986","https://openalex.org/W2809433722","https://openalex.org/W2894415726","https://openalex.org/W2940589056","https://openalex.org/W2963798131","https://openalex.org/W2964335063","https://openalex.org/W3024763028","https://openalex.org/W3210086985","https://openalex.org/W4211181233","https://openalex.org/W4232276817","https://openalex.org/W4250728693","https://openalex.org/W4250890173","https://openalex.org/W4286447266"],"related_works":["https://openalex.org/W3210086985","https://openalex.org/W2806676720","https://openalex.org/W2122698067","https://openalex.org/W2139443212","https://openalex.org/W2108020872","https://openalex.org/W2620748922","https://openalex.org/W2612846200","https://openalex.org/W1941102682","https://openalex.org/W139322006","https://openalex.org/W2736752497","https://openalex.org/W2169565104","https://openalex.org/W2762869699","https://openalex.org/W3036435269","https://openalex.org/W3101554748","https://openalex.org/W252389870","https://openalex.org/W3107611097","https://openalex.org/W2363386693","https://openalex.org/W2103201337","https://openalex.org/W1514982088","https://openalex.org/W2246028955"],"abstract_inverted_index":{"Abstract":[0],"We":[1,132],"present":[2],"a":[3,35,124,128,137,151],"new":[4],"method":[5],"for":[6,70,101],"model-based":[7],"mutation-driven":[8],"test":[9,32,108],"case":[10,33],"generation.":[11],"Mutants":[12],"are":[13,81],"generated":[14],"by":[15,147],"making":[16],"small":[17],"syntactical":[18],"modifications":[19],"to":[20,59,89,106,114],"the":[21,27,38,41,45,50,84,116],"model":[22,98,120,125],"or":[23],"source":[24],"code":[25],"of":[26,40,68,118,139],"system":[28,47],"under":[29],"test.":[30,51],"A":[31],"kills":[34],"mutant":[36,42],"if":[37],"behavior":[39],"deviates":[43],"from":[44],"original":[46],"when":[48],"running":[49],"In":[52],"this":[53],"work,":[54],"we":[55,111],"use":[56],"hyperproperties\u2014which":[57],"allow":[58],"express":[60],"relations":[61],"between":[62],"multiple":[63],"executions\u2014to":[64],"formalize":[65],"different":[66,144],"notions":[67],"killing":[69],"both":[71],"deterministic":[72],"as":[73,75],"well":[74],"non-deterministic":[76],"models.":[77],"The":[78],"resulting":[79],"hyperproperties":[80,102],"universal":[82],"in":[83,142],"sense":[85],"that":[86],"they":[87],"apply":[88],"arbitrary":[90],"reactive":[91],"models":[92,140],"and":[93,127],"mutants.":[94],"Moreover,":[95],"an":[96],"off-the-shelf":[97],"checking":[99,121],"tool":[100],"can":[103],"be":[104],"used":[105],"generate":[107],"cases.":[109],"Furthermore,":[110],"propose":[112],"solutions":[113],"overcome":[115],"limitations":[117],"current":[119],"tools":[122],"via":[123],"transformation":[126],"bounded":[129],"SMT":[130],"encoding.":[131],"evaluate":[133],"our":[134],"approach":[135],"on":[136],"number":[138],"expressed":[141],"two":[143],"modeling":[145],"languages":[146],"generating":[148],"tests":[149],"using":[150],"state-of-the-art":[152],"mutation":[153],"testing":[154],"tool.":[155]},"counts_by_year":[],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}