{"id":"https://openalex.org/W4410537201","doi":"https://doi.org/10.1109/icst62969.2025.10989007","title":"Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification","display_name":"Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410537201","doi":"https://doi.org/10.1109/icst62969.2025.10989007"},"language":"en","primary_location":{"id":"doi:10.1109/icst62969.2025.10989007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10989007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5076456632","display_name":"Monika Rani Golla","orcid":"https://orcid.org/0000-0002-1662-5764"},"institutions":[{"id":"https://openalex.org/I121750182","display_name":"National Institute of Technology Warangal","ror":"https://ror.org/017ebfz38","country_code":"IN","type":"education","lineage":["https://openalex.org/I121750182"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Monika Rani Golla","raw_affiliation_strings":["National Institute of Technology Warangal,Dept. of Computer Science and Engineering,Warangal,India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology Warangal,Dept. of Computer Science and Engineering,Warangal,India","institution_ids":["https://openalex.org/I121750182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033754131","display_name":"Sangharatna Godboley","orcid":"https://orcid.org/0000-0002-6169-6334"},"institutions":[{"id":"https://openalex.org/I121750182","display_name":"National Institute of Technology Warangal","ror":"https://ror.org/017ebfz38","country_code":"IN","type":"education","lineage":["https://openalex.org/I121750182"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sangharatna Godboley","raw_affiliation_strings":["National Institute of Technology Warangal,NITMiner Technologies,Dept. of Computer Science and Engineering,Warangal,India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology Warangal,NITMiner Technologies,Dept. of Computer Science and Engineering,Warangal,India","institution_ids":["https://openalex.org/I121750182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064622859","display_name":"Avijit Das","orcid":"https://orcid.org/0000-0002-6538-7184"},"institutions":[{"id":"https://openalex.org/I4210086621","display_name":"Electronics and Radar Development Establishment","ror":"https://ror.org/0028eeh32","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I4210086621","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Avijit Das","raw_affiliation_strings":["Defence Research & Development Organisation,Electronics & Radar Development Establishment,Bengaluru,India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Defence Research & Development Organisation,Electronics & Radar Development Establishment,Bengaluru,India","institution_ids":["https://openalex.org/I4210086621"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025536862","display_name":"P. Radha Krishna","orcid":null},"institutions":[{"id":"https://openalex.org/I121750182","display_name":"National Institute of Technology Warangal","ror":"https://ror.org/017ebfz38","country_code":"IN","type":"education","lineage":["https://openalex.org/I121750182"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. Radha Krishna","raw_affiliation_strings":["National Institute of Technology Warangal,NITMiner Technologies,Dept. of Computer Science and Engineering,Warangal,India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology Warangal,NITMiner Technologies,Dept. of Computer Science and Engineering,Warangal,India","institution_ids":["https://openalex.org/I121750182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"725","last_page":"728"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11235","display_name":"Statistical Methods in Clinical Trials","score":0.5997999906539917,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11235","display_name":"Statistical Methods in Clinical Trials","score":0.5997999906539917,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.6770358085632324},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5286766886711121},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24607855081558228}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6770358085632324},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5286766886711121},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24607855081558228}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icst62969.2025.10989007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10989007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W2022887099","https://openalex.org/W2052073765","https://openalex.org/W2096662969","https://openalex.org/W2607730264","https://openalex.org/W3158186939","https://openalex.org/W4384154653"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Unique-Cause":[0],"MC/DC":[1,9,53,171,187],"(UCM)":[2],"is":[3,164,181],"the":[4,18,21,29,34,38,45,85,88,95,109,113,126,133,143,155,158,167,185],"most":[5],"desired":[6],"form":[7],"of":[8,24,58,84,87,132,146,170],"in":[10,42,93,157,199],"many":[11],"safety-critical":[12],"applications.":[13],"For":[14,37],"a":[15,43,72],"given":[16,39,107,159],"predicate,":[17,44],"UCM":[19,74,102,114,134,178],"considers":[20],"independent":[22,67,96],"pair":[23],"each":[25,130],"condition":[26,31],"by":[27],"flipping":[28],"corresponding":[30,195],"and":[32,190],"fixing":[33],"other":[35],"conditions.":[36],"N":[40,60,89],"conditions":[41,90,149],"existing":[46],"static":[47],"symbolic":[48],"execution":[49],"tool,":[50],"CBMC,":[51],"generates":[52,79],"(Modified":[54],"Condition/Decision)":[55],"goal":[56],"constraints":[57],"size,":[59],"+":[61],"1":[62],"that":[63,78,193],"constitutes":[64],"its":[65],"minimal":[66],"pairs.":[68],"However,":[69],"we":[70,120,141],"propose":[71],"novel":[73],"Sequence":[75],"Generator":[76],"(UCM-Gen)":[77],"all":[80,154],"possible":[81],"inequality":[82],"comparisons":[83],"sequences/combinations":[86],"which":[91,105],"helps":[92],"computing":[94],"pairs":[97],"further.":[98],"The":[99],"UCM-Gen":[100],"outputs":[101],"Annotated":[103,135],"Program":[104],"when":[106],"to":[108,124],"program":[110],"verifiers,":[111],"produces":[112],"Score":[115],"(%).":[116],"In":[117],"our":[118,174],"work,":[119],"have":[121],"considered":[122],"CBMC":[123],"get":[125],"SAT/UNSAT":[127],"results":[128],"for":[129,153],"sequence":[131],"Program.":[136],"Upon":[137],"analysing":[138],"these":[139],"results,":[140],"calculate":[142],"total":[144],"number":[145],"independently":[147],"affected":[148],"(i.e.,":[150],"I":[151],"value)":[152],"predicates":[156],"program.":[160],"Furthermore,":[161],"this":[162],"work":[163],"compared":[165],"with":[166],"CBMC's":[168,186],"mode":[169],"implementation.":[172],"Interestingly,":[173],"proposed":[175],"approach":[176],"based":[177],"score":[179,188],"(%)":[180,189],"always":[182],"greater":[183],"than":[184],"hence":[191],"claiming":[192],"their":[194],"test":[196],"cases":[197],"contribute":[198],"effective":[200],"bug":[201],"finding.":[202]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}