{"id":"https://openalex.org/W2146408397","doi":"https://doi.org/10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","title":"Automatically detecting equivalent mutants and infeasible paths","display_name":"Automatically detecting equivalent mutants and infeasible paths","publication_year":1997,"publication_date":"1997-09-01","ids":{"openalex":"https://openalex.org/W2146408397","doi":"https://doi.org/10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","mag":"2146408397"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","pdf_url":null,"source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"},"type":"article","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/A5058956019","display_name":"A. Jefferson Offutt","orcid":null},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A. Jefferson Offutt","raw_affiliation_strings":["ISSE Department, George Mason University, Fairfax, VA 22030, U.S.A"],"affiliations":[{"raw_affiliation_string":"ISSE Department, George Mason University, Fairfax, VA 22030, U.S.A","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015510237","display_name":"Jie Pan","orcid":"https://orcid.org/0000-0003-4999-5726"},"institutions":[{"id":"https://openalex.org/I4210101783","display_name":"Park Plaza Hospital","ror":"https://ror.org/01bqvsn34","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210101783"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jie Pan","raw_affiliation_strings":["Template Software, 45365 Vintage Park Plaza, Suite 100, Pulles, VA 20166, U.S.A"],"affiliations":[{"raw_affiliation_string":"Template Software, 45365 Vintage Park Plaza, Suite 100, Pulles, VA 20166, U.S.A","institution_ids":["https://openalex.org/I4210101783"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058956019"],"corresponding_institution_ids":["https://openalex.org/I162714631"],"apc_list":{"value":3760,"currency":"USD","value_usd":3760},"apc_paid":null,"fwci":5.4332,"has_fulltext":false,"cited_by_count":296,"citation_normalized_percentile":{"value":0.94935145,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"7","issue":"3","first_page":"165","last_page":"192"},"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/T10260","display_name":"Software Engineering Research","score":0.9965999722480774,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6878974437713623},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6474097371101379},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.6205441355705261},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5393803715705872},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.521718442440033},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.5115664601325989},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4895244836807251},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4354349374771118},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42198047041893005},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.37948280572891235},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18509554862976074},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15409064292907715},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11390230059623718}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6878974437713623},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6474097371101379},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.6205441355705261},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5393803715705872},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.521718442440033},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.5115664601325989},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4895244836807251},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4354349374771118},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42198047041893005},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.37948280572891235},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18509554862976074},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15409064292907715},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11390230059623718},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1099-1689(199709)7:3<165::aid-stvr143>3.0.co;2-u","pdf_url":null,"source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.128.2798","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.2798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ise.gmu.edu/~ofut/rsrch/papers/cbt-equiv.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.15.9693","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9693","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ise.gmu.edu/faculty/ofut/rsrch/abstracts/../papers/cbt-equiv.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2546792321","https://openalex.org/W2123958666","https://openalex.org/W2165310406","https://openalex.org/W2951506308","https://openalex.org/W2488011889","https://openalex.org/W2139763472","https://openalex.org/W2232482475","https://openalex.org/W2546441935","https://openalex.org/W3195681663","https://openalex.org/W2159249596"],"abstract_inverted_index":{"Mutation":[0],"testing":[1,6,47,109,142,150],"is":[2,55,88],"a":[3,44,56,89,93,162],"technique":[4,163],"for":[5,13,106,170],"software":[7],"units":[8],"that":[9,36,105,121,128,164],"has":[10],"great":[11],"potential":[12],"improving":[14],"the":[15,22,26,60,99,113,119,122,125,133,155],"quality":[16],"of":[17,29,62,84,92,112,124,154],"testing,":[18],"and":[19,80,144,179],"thereby":[20],"increasing":[21],"ability":[23],"to":[24,50,59,174],"assure":[25],"high":[27],"reliability":[28],"critical":[30],"software.":[31],"It":[32],"will":[33],"be":[34],"shown":[35],"recent":[37,53],"advances":[38],"in":[39,118,140,147],"mutation":[40,46],"research":[41],"have":[42],"brought":[43],"practical":[45],"system":[48],"closer":[49],"reality.":[51],"One":[52],"advance":[54],"partial":[57],"solution":[58],"problem":[61,83],"automatically":[63],"detecting":[64,85],"equivalent":[65,86,177],"mutant":[66],"programs.":[67],"Equivalent":[68,136],"mutants":[69,87,178],"are":[70,116,151],"currently":[71],"detected":[72],"by":[73],"hand,":[74],"which":[75,103],"makes":[76],"it":[77],"very":[78],"expensive":[79],"time-consuming.":[81],"The":[82],"specific":[90],"instance":[91],"more":[94],"general":[95],"problem,":[96,102],"commonly":[97],"called":[98],"feasible":[100,156],"path":[101,141,157],"says":[104],"certain":[107],"structural":[108],"criteria":[110],"some":[111,176],"test":[114,130,134,171],"requirements":[115],"infeasible":[117,145,180],"sense":[120],"semantics":[123],"program":[126],"imply":[127],"no":[129],"case":[131],"satisfies":[132],"requirements.":[135],"mutants,":[137],"unreachable":[138],"statements":[139],"techniques,":[143],"DU-pairs":[146],"data":[148,172],"flow":[149],"all":[152],"instances":[153],"problem.":[158],"This":[159],"paper":[160],"presents":[161],"uses":[165],"mathematical":[166],"constraints,":[167],"originally":[168],"developed":[169],"generation,":[173],"detect":[175],"paths":[181],"automatically.":[182],"\u00a9":[183],"1997":[184],"John":[185],"Wiley":[186],"&":[187],"Sons,":[188],"Ltd.":[189]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":20},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":20},{"year":2016,"cited_by_count":12},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":17},{"year":2012,"cited_by_count":19}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}