{"id":"https://openalex.org/W4313018052","doi":"https://doi.org/10.1109/access.2022.3225097","title":"Forward-Propagation Approach for Generating Feasible and Minimum Test Case Suites From Cause-Effect Graph Specifications","display_name":"Forward-Propagation Approach for Generating Feasible and Minimum Test Case Suites From Cause-Effect Graph Specifications","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4313018052","doi":"https://doi.org/10.1109/access.2022.3225097"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3225097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225097","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09964211.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09964211.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107936283","display_name":"Ehlimana Krupalija","orcid":null},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":true,"raw_author_name":"Ehlimana Krupalija","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024826160","display_name":"Emir Cogo","orcid":"https://orcid.org/0000-0002-5262-8313"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Emir Cogo","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049922209","display_name":"\u0160eila Be\u0107irovi\u0107","orcid":"https://orcid.org/0000-0001-7776-9350"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Seila Becirovic","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054572166","display_name":"Irfan Prazina","orcid":"https://orcid.org/0000-0002-4504-6737"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Irfan Prazina","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070547355","display_name":"Kerim Hod\u017ei\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Kerim Hodzic","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016409272","display_name":"Ingmar Be\u0161i\u0107","orcid":"https://orcid.org/0000-0003-1632-570X"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I194184283","display_name":"University of East Sarajevo","ror":"https://ror.org/022mv6k27","country_code":"BA","type":"education","lineage":["https://openalex.org/I194184283"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Ingmar Besic","raw_affiliation_strings":["Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, 71 000, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"]},{"raw_affiliation_string":"Department of Computer Science and Informatics, Faculty of Electrical Engineering, University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5107936283"],"corresponding_institution_ids":["https://openalex.org/I104817121","https://openalex.org/I194184283"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.9217,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.86141389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"10","issue":null,"first_page":"124545","last_page":"124562"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/test-suite","display_name":"Test suite","score":0.7341042757034302},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7092111110687256},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6358926296234131},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5213797688484192},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5163532495498657},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5008597373962402},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.4482932388782501},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2562692165374756},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20356369018554688}],"concepts":[{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7341042757034302},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7092111110687256},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6358926296234131},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5213797688484192},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5163532495498657},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5008597373962402},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4482932388782501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2562692165374756},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20356369018554688},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2022.3225097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225097","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09964211.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:e2279886449e47d08c407b5e364e9308","is_oa":true,"landing_page_url":"https://doaj.org/article/e2279886449e47d08c407b5e364e9308","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 124545-124562 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3225097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225097","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09964211.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313018052.pdf","grobid_xml":"https://content.openalex.org/works/W4313018052.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W139286382","https://openalex.org/W1519215531","https://openalex.org/W1528580914","https://openalex.org/W1544899950","https://openalex.org/W1562896096","https://openalex.org/W1956089881","https://openalex.org/W2042829523","https://openalex.org/W2044058194","https://openalex.org/W2074041506","https://openalex.org/W2077746077","https://openalex.org/W2104068968","https://openalex.org/W2122979964","https://openalex.org/W2181670526","https://openalex.org/W2185989306","https://openalex.org/W2313506448","https://openalex.org/W2334860424","https://openalex.org/W2395227152","https://openalex.org/W2401817103","https://openalex.org/W2472032217","https://openalex.org/W2506155917","https://openalex.org/W2511513726","https://openalex.org/W2549482734","https://openalex.org/W2586921681","https://openalex.org/W2599152791","https://openalex.org/W2745643125","https://openalex.org/W2752198338","https://openalex.org/W2775302246","https://openalex.org/W2884894912","https://openalex.org/W2908554129","https://openalex.org/W2913171496","https://openalex.org/W2949670841","https://openalex.org/W2977872649","https://openalex.org/W3014553393","https://openalex.org/W3019599479","https://openalex.org/W3047879640","https://openalex.org/W3092102645","https://openalex.org/W3105917705","https://openalex.org/W3176580906","https://openalex.org/W4200010692","https://openalex.org/W4200270040","https://openalex.org/W4253811964","https://openalex.org/W6631279828","https://openalex.org/W6632514952","https://openalex.org/W6685985544","https://openalex.org/W6698850661","https://openalex.org/W6720639026"],"related_works":["https://openalex.org/W2900347730","https://openalex.org/W1598160211","https://openalex.org/W2067499928","https://openalex.org/W2419251450","https://openalex.org/W1524028411","https://openalex.org/W2138059712","https://openalex.org/W2018145554","https://openalex.org/W2127248783","https://openalex.org/W4256285596","https://openalex.org/W2030553922"],"abstract_inverted_index":{"Cause-effect":[0,145],"graphs":[1,146],"are":[2],"a":[3,191,209,221,242],"popular":[4],"black-box":[5],"testing":[6,55,150],"technique.":[7],"The":[8,178,198],"most":[9],"commonly":[10],"used":[11,148,158],"approach":[12,52,87,156],"for":[13,39,53,59,93,102,149,159,190],"generating":[14,61],"test":[15,42,62,104,126,135,169,211,223,244],"cases":[16,105,127],"from":[17,65,106],"cause-effect":[18,66,107],"graph":[19,30,67],"specifications":[20,68],"uses":[21,113],"backward":[22],"propagation":[23],"of":[24,37,74,83,115,195],"forced":[25],"effect":[26,141,170,235,245],"activations":[27,142],"through":[28],"the":[29,35,40,80,84,133,154,166,182,203,215,227,233],"in":[31,120,186],"order":[32,121],"to":[33,122],"get":[34,123],"values":[36,119],"causes":[38],"desired":[41],"case.":[43],"Many":[44],"drawbacks":[45,82],"have":[46,69],"been":[47,70],"identified":[48],"when":[49],"using":[50],"this":[51],"different":[54],"requirements.":[56],"Several":[57],"algorithms":[58,76,101,151,184],"automatically":[60],"case":[63,136,212,224],"suites":[64],"proposed.":[71],"However,":[72],"many":[73],"these":[75],"do":[77],"not":[78],"solve":[79],"main":[81],"initial":[85],"back-propagation":[86],"and":[88,128,161,173,241],"offer":[89],"only":[90],"minor":[91],"improvements":[92],"specific":[94],"purposes.":[95],"This":[96],"work":[97,185],"proposes":[98],"two":[99],"new":[100],"deriving":[103],"representations":[108],"\u2013":[109],"an":[110,129],"algorithm":[111,130,207,219],"that":[112,131,181,202],"forward-propagation":[114],"all":[116,124],"possible":[117],"cause":[118,196],"feasible":[125,134],"minimizes":[132],"suite":[137],"while":[138,231],"taking":[139],"multiple":[140],"into":[143],"account.":[144],"previously":[147],"based":[152],"on":[153],"backward-propagation":[155],"were":[157],"evaluation":[160,179],"comparison,":[162],"as":[163,165],"well":[164],"newly":[167,205,217],"introduced":[168],"coverage":[171,246],"metric":[172],"fault":[174,237],"detection":[175,238],"rate":[176,239],"effectiveness.":[177],"shows":[180],"proposed":[183,206,218,229],"real":[187],"time":[188],"even":[189],"very":[192],"large":[193],"number":[194],"nodes.":[197],"results":[199],"also":[200],"indicate":[201],"first":[204],"generates":[208,220],"larger":[210],"suite,":[213],"whereas":[214],"second":[216],"smaller":[222],"subset":[225],"than":[226],"originally":[228],"approaches":[230],"ensuring":[232],"maximum":[234],"coverage,":[236],"effectiveness":[240],"better":[243],"ratio.":[247]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}