{"id":"https://openalex.org/W1600161649","doi":"https://doi.org/10.1109/sew.2003.1270730","title":"Generating MC/DC adequate test sequences through model checking","display_name":"Generating MC/DC adequate test sequences through model checking","publication_year":2004,"publication_date":"2004-07-08","ids":{"openalex":"https://openalex.org/W1600161649","doi":"https://doi.org/10.1109/sew.2003.1270730","mag":"1600161649"},"language":"en","primary_location":{"id":"doi:10.1109/sew.2003.1270730","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sew.2003.1270730","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://conservancy.umn.edu/bitstreams/c42e137b-85f8-4484-a83c-72146f96f969/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055928482","display_name":"Sanjai Rayadurgam","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"S. Rayadurgam","raw_affiliation_strings":["Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA","Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110505437","display_name":"Mats P. E. Heimdahl","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M.P.E. Heimdahl","raw_affiliation_strings":["Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA","Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA","institution_ids":["https://openalex.org/I130238516"]},{"raw_affiliation_string":"Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA","institution_ids":["https://openalex.org/I130238516"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055928482"],"corresponding_institution_ids":["https://openalex.org/I130238516"],"apc_list":null,"apc_paid":null,"fwci":1.8486,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":{"value":0.84093681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"24","issue":null,"first_page":"91","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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.9997000098228455,"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.5889770984649658},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5376376509666443},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49507394433021545},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.341076523065567}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5889770984649658},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5376376509666443},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49507394433021545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.341076523065567},{"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/sew.2003.1270730","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sew.2003.1270730","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:conservancy.umn.edu:11299/217338","is_oa":true,"landing_page_url":"http://hdl.handle.net/11299/217338","pdf_url":"https://conservancy.umn.edu/bitstreams/c42e137b-85f8-4484-a83c-72146f96f969/download","source":{"id":"https://openalex.org/S4306402521","display_name":"University of Minnesota Digital Conservancy (University of Minnesota)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130238516","host_organization_name":"University of Minnesota","host_organization_lineage":["https://openalex.org/I130238516"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.6207","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.6207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.umsec.umn.edu/files/21.69.TestGeneration03.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:conservancy.umn.edu:11299/217338","is_oa":true,"landing_page_url":"http://hdl.handle.net/11299/217338","pdf_url":"https://conservancy.umn.edu/bitstreams/c42e137b-85f8-4484-a83c-72146f96f969/download","source":{"id":"https://openalex.org/S4306402521","display_name":"University of Minnesota Digital Conservancy (University of Minnesota)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130238516","host_organization_name":"University of Minnesota","host_organization_lineage":["https://openalex.org/I130238516"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Report"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1600161649.pdf","grobid_xml":"https://content.openalex.org/works/W1600161649.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1483676884","https://openalex.org/W1495461922","https://openalex.org/W1558093988","https://openalex.org/W2055647675","https://openalex.org/W2081938726","https://openalex.org/W2125415493","https://openalex.org/W2129228609","https://openalex.org/W2130123065","https://openalex.org/W2143889043","https://openalex.org/W2148439296","https://openalex.org/W2162200351","https://openalex.org/W2172253171","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4247073128","https://openalex.org/W6629006318"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,86,93,104,113,121,155,161],"method":[3,94],"for":[4,29,39,54,59,76,95,123,135],"automatically":[5],"generating":[6,40,150],"test":[7,31,41,66,142,152],"sequences":[8,42,153],"to":[9,43],"satisfy":[10],"MC/DC":[11,151],"like":[12],"structural":[13],"coverage":[14,73],"criteria":[15,32,45,58],"of":[16,26,36,48,85,157],"software":[17,51],"behavioral":[18],"models":[19],"specified":[20],"in":[21,50,83,99,109,149,160],"state-based":[22],"formalisms.":[23],"The":[24,117,144],"use":[25],"temporal":[27,88,110],"logic":[28,111],"characterizing":[30],"and":[33],"the":[34,70,100,124,136,140,158],"application":[35],"model-checking":[37],"techniques":[38],"those":[44],"have":[46],"been":[47,147],"interest":[49],"verification":[52],"research":[53],"some":[55],"time.":[56],"Nevertheless,":[57],"which":[60],"constraints":[61,98],"span":[62],"more":[63],"than":[64],"one":[65],"sequence,":[67],"such":[68],"as":[69,103],"modified":[71,115,125],"condition/decision":[72],"(MC/DC)":[74],"mandated":[75],"critical":[77],"avionics":[78],"software,":[79],"cannot":[80],"be":[81,128],"characterized":[82],"terms":[84],"single":[87,105],"property.":[89],"This":[90],"paper":[91],"discusses":[92],"recasting":[96],"two-sequence":[97],"original":[101,137],"model":[102,126,156],"sequence":[106],"constraint":[107],"expressed":[108],"on":[112],"slightly":[114],"model.":[116],"test-sequence":[118],"generated":[119],"by":[120],"model-checker":[122],"can":[127],"easily":[129],"separated":[130],"into":[131],"two":[132],"different":[133],"test-sequences":[134],"model,":[138],"satisfying":[139],"given":[141],"criteria.":[143],"approach":[145],"has":[146],"successful":[148],"from":[154],"mode-logic":[159],"flight-guidance":[162],"system.":[163]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}