{"id":"https://openalex.org/W2078410320","doi":"https://doi.org/10.1002/stvr.303","title":"Experimental evaluation of the tolerance for control\u2010flow test criteria","display_name":"Experimental evaluation of the tolerance for control\u2010flow test criteria","publication_year":2004,"publication_date":"2004-09-01","ids":{"openalex":"https://openalex.org/W2078410320","doi":"https://doi.org/10.1002/stvr.303","mag":"2078410320"},"language":"en","primary_location":{"id":"doi:10.1002/stvr.303","is_oa":false,"landing_page_url":"https://doi.org/10.1002/stvr.303","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/A5065965147","display_name":"Kalpesh Kapoor","orcid":"https://orcid.org/0000-0002-0242-3563"},"institutions":[{"id":"https://openalex.org/I28257850","display_name":"London South Bank University","ror":"https://ror.org/02vwnat91","country_code":"GB","type":"education","lineage":["https://openalex.org/I28257850"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Kalpesh Kapoor","raw_affiliation_strings":["Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K","institution_ids":["https://openalex.org/I28257850"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041103024","display_name":"Jonathan P. Bowen","orcid":"https://orcid.org/0000-0002-8748-6140"},"institutions":[{"id":"https://openalex.org/I28257850","display_name":"London South Bank University","ror":"https://ror.org/02vwnat91","country_code":"GB","type":"education","lineage":["https://openalex.org/I28257850"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan P. Bowen","raw_affiliation_strings":["Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K","institution_ids":["https://openalex.org/I28257850"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5065965147"],"corresponding_institution_ids":["https://openalex.org/I28257850"],"apc_list":{"value":3760,"currency":"USD","value_usd":3760},"apc_paid":null,"fwci":1.4856,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82861586,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"14","issue":"3","first_page":"167","last_page":"187"},"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.9993000030517578,"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.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/reliability-engineering","display_name":"Reliability engineering","score":0.6395725011825562},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.604836642742157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5471349358558655},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5397994518280029},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5187123417854309},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47043535113334656},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.43334347009658813},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4214699864387512},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4180728793144226},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.41336870193481445},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21326884627342224},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18774285912513733},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07977941632270813}],"concepts":[{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6395725011825562},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.604836642742157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5471349358558655},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5397994518280029},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5187123417854309},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47043535113334656},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.43334347009658813},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4214699864387512},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4180728793144226},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.41336870193481445},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21326884627342224},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18774285912513733},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07977941632270813},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/stvr.303","is_oa":false,"landing_page_url":"https://doi.org/10.1002/stvr.303","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.4.6","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jpbowen.com/pub/softtest03.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1605390882","https://openalex.org/W1607631994","https://openalex.org/W1992987499","https://openalex.org/W1996596150","https://openalex.org/W1997041205","https://openalex.org/W2006159725","https://openalex.org/W2014192335","https://openalex.org/W2025918428","https://openalex.org/W2028536280","https://openalex.org/W2028828983","https://openalex.org/W2030135678","https://openalex.org/W2058235668","https://openalex.org/W2073018571","https://openalex.org/W2085316188","https://openalex.org/W2096662969","https://openalex.org/W2099855131","https://openalex.org/W2100425664","https://openalex.org/W2111038766","https://openalex.org/W2112687552","https://openalex.org/W2112893575","https://openalex.org/W2114503251","https://openalex.org/W2119249385","https://openalex.org/W2124300773","https://openalex.org/W2125552497","https://openalex.org/W2125814238","https://openalex.org/W2129280059","https://openalex.org/W2133335896","https://openalex.org/W2134691366","https://openalex.org/W2136887998","https://openalex.org/W2143002644","https://openalex.org/W2143889043","https://openalex.org/W2145952840","https://openalex.org/W2149416862","https://openalex.org/W2154897437","https://openalex.org/W2158883374","https://openalex.org/W2162200351","https://openalex.org/W2167817931","https://openalex.org/W2561675875","https://openalex.org/W2912111225","https://openalex.org/W4205113694","https://openalex.org/W4231791389","https://openalex.org/W4236200536","https://openalex.org/W4239891827","https://openalex.org/W4242080301","https://openalex.org/W4285719527","https://openalex.org/W4300771635"],"related_works":["https://openalex.org/W3077060396","https://openalex.org/W1609394770","https://openalex.org/W4282961407","https://openalex.org/W2097349963","https://openalex.org/W51612467","https://openalex.org/W2145224123","https://openalex.org/W3148278272","https://openalex.org/W2021253405","https://openalex.org/W1969564587","https://openalex.org/W1559766497"],"abstract_inverted_index":{"Abstract":[0],"Fault\u2010detection":[1],"effectiveness":[2,96],"of":[3,9,32,63,73,93,97,111,137,174],"coverage":[4,64],"criteria":[5,116],"has":[6],"remained":[7],"one":[8],"the":[10,27,33,39,54,60,71,77,91],"controversial":[11],"issues":[12],"in":[13,95],"recent":[14,89],"years.":[15],"In":[16,87],"order":[17],"to":[18,43,130],"detect":[19],"a":[20,22,46,67,88,98],"fault,":[21],"test":[23,69,74,99,115,119,139,178],"set":[24,120],"must":[25],"execute":[26],"faulty":[28,40],"statement,":[29],"cause":[30],"infection":[31,61],"data":[34,41],"state":[35,42],"and":[36,162,188],"then":[37],"propagate":[38],"bring":[44],"about":[45],"failure.":[47],"This":[48,105],"paper":[49,106],"sheds":[50],"some":[51,138],"light":[52],"on":[53],"earlier":[55,131],"contradictory":[56],"results":[57],"by":[58,117],"investigating":[59],"aspect":[62],"criteria.":[65],"For":[66],"given":[68],"criterion,":[70,179],"number":[72],"sets":[75,140],"satisfying":[76],"criterion":[78,100],"may":[79],"be":[80],"very":[81],"large,":[82],"with":[83],"varying":[84],"fault\u2010detection":[85],"effectiveness.":[86],"work":[90],"measure":[92],"variation":[94],"was":[101],"defined":[102],"as":[103],"\u2018tolerance\u2019.":[104],"presents":[107],"an":[108],"experimental":[109],"evaluation":[110],"tolerance":[112],"for":[113],"control\u2010flow":[114,148],"exhaustive":[118],"generation,":[121],"wherever":[122],"possible.":[123],"The":[124],"approach":[125],"used":[126,147],"here":[127],"is":[128,185],"complementary":[129],"empirical":[132],"studies":[133],"that":[134],"adopted":[135],"analysis":[136],"using":[141],"random":[142],"selection":[143],"techniques.":[144],"Four":[145],"industrially":[146],"testing":[149],"criteria,":[150],"Condition":[151,155,164,181],"Coverage":[152,156,160,166,183],"(CC),":[153],"Decision":[154,165,182],"(DCC),":[157],"Full":[158],"Predicate":[159],"(FPC)":[161],"Modified":[163],"(MCDC)":[167],"have":[168],"been":[169],"analysed":[170,187],"against":[171],"four":[172],"types":[173],"faults.":[175],"A":[176],"new":[177],"Reinforced":[180],"(RCDC),":[184],"also":[186],"compared.":[189],"Copyright":[190],"\u00a9":[191],"2004":[192],"John":[193],"Wiley":[194],"&amp;":[195],"Sons,":[196],"Ltd.":[197]},"counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}
