{"id":"https://openalex.org/W3023427509","doi":"https://doi.org/10.1142/s0218194020500187","title":"Towards Generating Realistic and High Coverage Test Data for Constraint-Based Fault Injection","display_name":"Towards Generating Realistic and High Coverage Test Data for Constraint-Based Fault Injection","publication_year":2020,"publication_date":"2020-03-01","ids":{"openalex":"https://openalex.org/W3023427509","doi":"https://doi.org/10.1142/s0218194020500187","mag":"3023427509"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194020500187","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194020500187","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5018865533","display_name":"Ju Qian","orcid":"https://orcid.org/0000-0001-8028-7213"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ju Qian","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045391646","display_name":"Yan Wang","orcid":"https://orcid.org/0000-0002-4352-1450"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Wang","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008073248","display_name":"Fusheng Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fusheng Lin","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101794527","display_name":"Changjian Li","orcid":"https://orcid.org/0000-0003-0448-4957"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Changjian Li","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100764272","display_name":"Zhiyi Zhang","orcid":"https://orcid.org/0000-0002-6671-4378"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyi Zhang","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010801486","display_name":"Xuefeng Yan","orcid":"https://orcid.org/0000-0001-6030-0855"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuefeng Yan","raw_affiliation_strings":["Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel, Software Technology and Industrialization, Nanjing 210023, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5018865533"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.3038,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59120879,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"30","issue":"03","first_page":"451","last_page":"479"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9988999962806702,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9984999895095825,"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/constraint","display_name":"Constraint (computer-aided design)","score":0.8092610836029053},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6760683059692383},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6647210121154785},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6383010745048523},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5415627360343933},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.5146456956863403},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.5012392997741699},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.44999587535858154},{"id":"https://openalex.org/keywords/constraint-learning","display_name":"Constraint learning","score":0.4190952777862549},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3913080394268036},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.3509416878223419},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34690356254577637},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2082441747188568},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1990954875946045},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14274311065673828},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07409331202507019}],"concepts":[{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.8092610836029053},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6760683059692383},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6647210121154785},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6383010745048523},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5415627360343933},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.5146456956863403},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.5012392997741699},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.44999587535858154},{"id":"https://openalex.org/C29230964","wikidata":"https://www.wikidata.org/wiki/Q5164376","display_name":"Constraint learning","level":5,"score":0.4190952777862549},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3913080394268036},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.3509416878223419},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34690356254577637},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2082441747188568},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1990954875946045},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14274311065673828},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07409331202507019},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194020500187","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194020500187","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1003315906","https://openalex.org/W1160404560","https://openalex.org/W1480909796","https://openalex.org/W1979345446","https://openalex.org/W2031411490","https://openalex.org/W2045002843","https://openalex.org/W2045169222","https://openalex.org/W2057859068","https://openalex.org/W2065948900","https://openalex.org/W2079267582","https://openalex.org/W2105183815","https://openalex.org/W2107888785","https://openalex.org/W2110908283","https://openalex.org/W2121588916","https://openalex.org/W2134674626","https://openalex.org/W2138574275","https://openalex.org/W2139029467","https://openalex.org/W2142144161","https://openalex.org/W2252608406","https://openalex.org/W2311532076","https://openalex.org/W2409855605","https://openalex.org/W2511306243","https://openalex.org/W2615660750","https://openalex.org/W2623766746","https://openalex.org/W2670901730","https://openalex.org/W2809671138","https://openalex.org/W4252162128"],"related_works":["https://openalex.org/W1496100162","https://openalex.org/W2153863638","https://openalex.org/W3122634451","https://openalex.org/W2073925063","https://openalex.org/W1486916474","https://openalex.org/W202947224","https://openalex.org/W2091348864","https://openalex.org/W2097415053","https://openalex.org/W6366331","https://openalex.org/W1531664660"],"abstract_inverted_index":{"Generating":[0],"faulty":[1,11,41,97,145,159],"data":[2,12,42,48,59,65,146,152,160],"is":[3,43],"a":[4,89,124],"key":[5],"issue":[6],"in":[7,91,199],"fault":[8,33,113,127,154,200],"injection.":[9,155,201],"The":[10,130,189],"include":[13],"not":[14],"only":[15],"the":[16,26,51,74,95,101,165,179,184,194],"ones":[17,27,168],"of":[18,148,183,196],"extreme":[19],"values":[20],"or":[21],"bad":[22],"formats,":[23],"but":[24],"also":[25],"which":[28,35,106,161],"are":[29,100,108,115,162],"logically":[30,46],"unreasonable.":[31],"Constraint-based":[32],"injection":[34,114,128],"negates":[36],"interface":[37],"constraints":[38,72],"to":[39,87,93,143,164,172],"solve":[40,56],"effective":[44],"for":[45,60,110,136,153,193],"unreasonable":[47],"generation.":[49],"However,":[50],"existing":[52],"constraint-based":[53,126],"approaches":[54],"just":[55],"brand":[57,63,150],"new":[58,64,125,151],"testing.":[61],"Such":[62],"may":[66],"easily":[67],"violate":[68],"some":[69],"hidden":[70],"environment":[71],"on":[73],"test":[75],"inputs":[76],"and":[77,105,139,169,181],"hence":[78,170],"be":[79,84,173],"nonrealistic.":[80],"Besides,":[81],"there":[82],"can":[83,157],"different":[85,134],"strategies":[86,104,107,135,198],"negate":[88],"constraint":[90,137,141,186],"order":[92],"derive":[94],"constraint-unsatisfied":[96],"data.":[98],"What":[99],"possible":[102],"negation":[103,138,187],"better":[109],"high":[111],"coverage":[112],"still":[116],"unclear.":[117],"To":[118],"these":[119,197],"ends,":[120],"this":[121],"paper":[122],"presents":[123],"approach.":[129],"approach":[131],"introduces":[132],"10":[133],"relaxes":[140],"variables":[142],"generate":[144],"instead":[147],"solving":[149],"It":[156],"produce":[158],"closer":[163],"original":[166],"non-faulty":[167],"likely":[171],"more":[174],"realistic.":[175],"We":[176],"experimentally":[177],"investigated":[178],"effectiveness":[180],"cost":[182],"introduced":[185],"strategies.":[188],"results":[190],"provide":[191],"insights":[192],"application":[195]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}