{"id":"https://openalex.org/W2034662463","doi":"https://doi.org/10.4304/jsw.5.10.1144-1161","title":"A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation","display_name":"A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation","publication_year":2010,"publication_date":"2010-10-01","ids":{"openalex":"https://openalex.org/W2034662463","doi":"https://doi.org/10.4304/jsw.5.10.1144-1161","mag":"2034662463"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.5.10.1144-1161","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.5.10.1144-1161","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","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/A5079786056","display_name":"Neeraj Suri","orcid":"https://orcid.org/0000-0003-1688-1167"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neeraj Suri","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5103542069","display_name":"Purnendu Sinha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Purnendu Sinha","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16430282,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"10","first_page":null,"last_page":null},"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.9997000098228455,"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.9997000098228455,"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.9995999932289124,"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.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8826972246170044},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7982214689254761},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.6559537053108215},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6430900692939758},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5883069038391113},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5849876999855042},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5357401371002197},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5219839811325073},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4384010434150696},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.43430641293525696},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42185837030410767},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3755626678466797},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32880067825317383},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.28321149945259094},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2795908451080322},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23520615696907043},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18539822101593018},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.17011597752571106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8826972246170044},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7982214689254761},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.6559537053108215},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6430900692939758},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5883069038391113},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5849876999855042},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5357401371002197},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5219839811325073},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4384010434150696},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.43430641293525696},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42185837030410767},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3755626678466797},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32880067825317383},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28321149945259094},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2795908451080322},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23520615696907043},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18539822101593018},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.17011597752571106},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4304/jsw.5.10.1144-1161","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.5.10.1144-1161","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.212.6316","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.6316","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.deeds.informatik.tu-darmstadt.de/publications/journal/Pre-Injection%20Analysis.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.lancs.ac.uk:137550","is_oa":false,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/137550/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W144978143","https://openalex.org/W563888187","https://openalex.org/W1484517464","https://openalex.org/W1527573830","https://openalex.org/W1527688737","https://openalex.org/W1531099689","https://openalex.org/W1547339196","https://openalex.org/W1550099218","https://openalex.org/W1551406732","https://openalex.org/W1571615768","https://openalex.org/W1744830798","https://openalex.org/W1889775143","https://openalex.org/W1892111635","https://openalex.org/W1929430795","https://openalex.org/W1992105245","https://openalex.org/W2002003432","https://openalex.org/W2012216878","https://openalex.org/W2018041465","https://openalex.org/W2025316954","https://openalex.org/W2026774266","https://openalex.org/W2055647675","https://openalex.org/W2095689429","https://openalex.org/W2097331548","https://openalex.org/W2099498481","https://openalex.org/W2109488193","https://openalex.org/W2112748378","https://openalex.org/W2113486906","https://openalex.org/W2114957237","https://openalex.org/W2116939169","https://openalex.org/W2120860555","https://openalex.org/W2120960990","https://openalex.org/W2122527681","https://openalex.org/W2125831829","https://openalex.org/W2127696387","https://openalex.org/W2127809586","https://openalex.org/W2129745701","https://openalex.org/W2132953422","https://openalex.org/W2133692466","https://openalex.org/W2133795819","https://openalex.org/W2143159398","https://openalex.org/W2148706024","https://openalex.org/W2162815296","https://openalex.org/W2164773579","https://openalex.org/W2166440675","https://openalex.org/W2989447673","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3018727313","https://openalex.org/W2373958571","https://openalex.org/W1526253314","https://openalex.org/W1864358311","https://openalex.org/W2163463765","https://openalex.org/W2007562802","https://openalex.org/W1994651680","https://openalex.org/W4246700523","https://openalex.org/W4379620210","https://openalex.org/W2897457454"],"abstract_inverted_index":{"Fault-injection":[0],"(FI)":[1],"based":[2],"techniques":[3,61,76,86,143],"for":[4,180,213,217],"dependability":[5],"assessment":[6],"of":[7,29,32,44,53,70,117,140,170,207,223,236],"distributed":[8,72],"protocols":[9],"face":[10],"certain":[11],"limitations":[12],"in":[13,39,47,66,151],"providing":[14],"state-space":[15],"coverage":[16],"and":[17,49,74,103,167,174,201,203,232],"also":[18],"incur":[19],"high":[20],"operational":[21],"cost.":[22],"This":[23],"is":[24,168,228],"mainly":[25],"due":[26],"to":[27,56,120,132,230],"lack":[28],"complete":[30],"knowledge":[31],"fault-distribution":[33],"at":[34],"the":[35,42,51,68,121,137,160,186,195,234,237],"protocol":[36,122,227],"level":[37],"which":[38,112,158],"turn":[40],"limits":[41],"use":[43],"statistical":[45],"approaches":[46],"deriving":[48],"estimating":[50],"number":[52],"test":[54,215],"cases":[55,216],"inject.":[57],"In":[58],"practice,":[59],"formal":[60,101,126,187],"have":[62,78],"effectively":[63],"being":[64],"used":[65,212,229],"proving":[67],"correctness":[69],"dependable":[71],"protocols,":[73],"these":[75,96],"traditionally":[77],"not":[79],"been":[80],"directly":[81],"associated":[82],"with":[83],"experimental":[84],"validation":[85,105,142],"such":[87,141],"as":[88,163],"FI-based":[89,104,134,218],"testing.":[90,219],"There":[91],"exists":[92,109],"a":[93,114,156],"gap":[94],"between":[95],"two":[97,171],"well-established":[98],"approaches,":[99],"viz.":[100],"verification":[102,127,188],"techniques.":[106],"If":[107],"there":[108],"an":[110,164,224],"approach":[111],"utilizing":[113],"rich":[115],"set":[116],"information":[118,183],"pertaining":[119],"operation":[123],"generated":[124,184],"through":[125,194],"process":[128],"can":[129,144],"provide":[130],"guided-support":[131],"perform":[133],"validation,":[135],"then":[136],"overall":[138],"effectiveness":[139],"be":[145],"greatly":[146],"improved.":[147],"With":[148],"this":[149,152],"viewpoint,":[150],"paper,":[153],"we":[154],"propose":[155],"methodology":[157],"utilizes":[159],"theorem-proving":[161,199],"technique":[162],"underlying":[165],"formal-engine,":[166],"composed":[169],"novel":[172],"structured":[173],"graphical":[175],"representation":[176],"schemes":[177],"(interactive":[178],"user-interfaces)":[179],"(a)":[181],"capturing/visualizing":[182],"over":[185],"process,":[189],"(b)":[190],"facilitating":[191],"interactive":[192],"analysis":[193],"chosen":[196],"formal-engine":[197],"(any":[198],"tool)":[200],"database,":[202],"(c)":[204],"user-guided":[205],"identification":[206],"influential":[208],"parameters,":[209],"those":[210],"eventually":[211],"generating":[214],"A":[220],"case":[221],"study":[222],"on-line":[225],"diagnosis":[226],"illustrate":[231],"establish":[233],"viability":[235],"proposed":[238],"methodology.":[239],"\u00a9":[240],"2010":[241],"ACADEMY":[242],"PUBLISHER.":[243]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}