{"id":"https://openalex.org/W2242830746","doi":"https://doi.org/10.1109/issre.2015.7381816","title":"Efficient observability-based test generation by dynamic symbolic execution","display_name":"Efficient observability-based test generation by dynamic symbolic execution","publication_year":2015,"publication_date":"2015-11-01","ids":{"openalex":"https://openalex.org/W2242830746","doi":"https://doi.org/10.1109/issre.2015.7381816","mag":"2242830746"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2015.7381816","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381816","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://conservancy.umn.edu/bitstreams/aba14e00-a59c-4154-8a36-92cf7f8768af/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044808304","display_name":"Dongjiang You","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":"Dongjiang You","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","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":false,"raw_author_name":"Sanjai Rayadurgam","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014360702","display_name":"Michael W. Whalen","orcid":"https://orcid.org/0000-0003-3824-1435"},"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":"Michael Whalen","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"middle","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":"Mats P. E. Heimdahl","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082659908","display_name":"Gregory Gay","orcid":"https://orcid.org/0000-0001-6794-9585"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gregory Gay","raw_affiliation_strings":["Department of Computer Science and Engineering, University of South Carolina, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, USA","institution_ids":["https://openalex.org/I155781252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5044808304"],"corresponding_institution_ids":["https://openalex.org/I130238516"],"apc_list":null,"apc_paid":null,"fwci":2.2241,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.88179012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"228","last_page":"238"},"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.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/T10260","display_name":"Software Engineering Research","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.9324665069580078},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7113052010536194},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.7001517415046692},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.6912315487861633},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6635748147964478},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6634334325790405},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.4650028944015503},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.4604308009147644},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.451748788356781},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.4411331117153168},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4298914074897766},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42086759209632874},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.41788196563720703},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3611457943916321},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3132297694683075},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18717780709266663},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15665167570114136},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10671922564506531},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10549589991569519}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.9324665069580078},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7113052010536194},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.7001517415046692},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.6912315487861633},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6635748147964478},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6634334325790405},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.4650028944015503},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.4604308009147644},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.451748788356781},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.4411331117153168},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4298914074897766},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42086759209632874},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.41788196563720703},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3611457943916321},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3132297694683075},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18717780709266663},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15665167570114136},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10671922564506531},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10549589991569519},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/issre.2015.7381816","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381816","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:conservancy.umn.edu:11299/217440","is_oa":true,"landing_page_url":"http://hdl.handle.net/11299/217440","pdf_url":"https://conservancy.umn.edu/bitstreams/aba14e00-a59c-4154-8a36-92cf7f8768af/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"}],"best_oa_location":{"id":"pmh:oai:conservancy.umn.edu:11299/217440","is_oa":true,"landing_page_url":"http://hdl.handle.net/11299/217440","pdf_url":"https://conservancy.umn.edu/bitstreams/aba14e00-a59c-4154-8a36-92cf7f8768af/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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2242830746.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W157156687","https://openalex.org/W1533493347","https://openalex.org/W1538643901","https://openalex.org/W1548806133","https://openalex.org/W1710734607","https://openalex.org/W1964014481","https://openalex.org/W1976727279","https://openalex.org/W1992987499","https://openalex.org/W2008356116","https://openalex.org/W2009489720","https://openalex.org/W2055647675","https://openalex.org/W2082172430","https://openalex.org/W2083222184","https://openalex.org/W2089745089","https://openalex.org/W2095710561","https://openalex.org/W2096449544","https://openalex.org/W2102742419","https://openalex.org/W2106072155","https://openalex.org/W2107147876","https://openalex.org/W2107709519","https://openalex.org/W2110311336","https://openalex.org/W2123837004","https://openalex.org/W2125415493","https://openalex.org/W2136043644","https://openalex.org/W2150764159","https://openalex.org/W2152664489","https://openalex.org/W2156176134","https://openalex.org/W2159181605","https://openalex.org/W2162200351","https://openalex.org/W2165566357","https://openalex.org/W2172253171","https://openalex.org/W2601354821","https://openalex.org/W4233529774","https://openalex.org/W4234459169","https://openalex.org/W4237492309","https://openalex.org/W4239794150","https://openalex.org/W4249974020","https://openalex.org/W6606430823","https://openalex.org/W6631894657","https://openalex.org/W6637688222","https://openalex.org/W6682494195"],"related_works":["https://openalex.org/W1992057646","https://openalex.org/W49527103","https://openalex.org/W2009637593","https://openalex.org/W2020667931","https://openalex.org/W2294472655","https://openalex.org/W2440985157","https://openalex.org/W2893175923","https://openalex.org/W51612467","https://openalex.org/W223068689","https://openalex.org/W1968929858"],"abstract_inverted_index":{"Structural":[0],"coverage":[1,33,63],"metrics":[2,64],"have":[3,23,65],"been":[4,66],"widely":[5],"used":[6],"to":[7,15,77,88],"measure":[8],"test":[9,17,95,113],"suite":[10],"adequacy":[11],"as":[12,14],"well":[13],"generate":[16],"cases.":[18],"In":[19,106],"previous":[20],"investigations,":[21],"we":[22,109],"found":[24],"that":[25,75,116,148],"the":[26,44,56,118,128,139,149],"fault-finding":[27],"effectiveness":[28,131,163],"of":[29,120,132],"tests":[30],"satisfying":[31],"structural":[32],"criteria":[34],"is":[35,47,72],"highly":[36],"dependent":[37],"on":[38,103],"program":[39,89],"syntax":[40],"-":[41],"even":[42,159],"if":[43],"faulty":[45],"code":[46],"exercised,":[48],"its":[49],"effect":[50],"may":[51],"not":[52],"be":[53,78,101],"observable":[54],"at":[55,82],"output.":[57],"To":[58],"address":[59],"these":[60],"problems,":[61],"observability-based":[62],"defined.":[67],"Specifically,":[68],"Observable":[69],"MC/DC":[70],"(OMC/DC)":[71],"a":[73],"criterion":[74],"appears":[76],"both":[79],"more":[80,86],"effective":[81],"detecting":[83],"faults":[84],"and":[85,130,141],"robust":[87],"restructuring":[90],"than":[91],"MC/DC.":[92],"Traditional":[93],"counterexample-based":[94],"generation":[96,114,155],"for":[97],"OMC/DC,":[98],"however,":[99],"can":[100],"infeasible":[102],"large":[104],"systems.":[105],"this":[107],"study,":[108],"propose":[110],"an":[111],"incremental":[112,150],"approach":[115,134,151],"combines":[117],"notion":[119],"observability":[121],"with":[122,165],"dynamic":[123],"symbolic":[124],"execution.":[125],"We":[126],"evaluated":[127],"efficiency":[129],"our":[133],"using":[135],"seven":[136],"systems":[137],"from":[138],"avionics":[140],"medical":[142],"device":[143],"domains.":[144],"Our":[145],"results":[146],"show":[147],"requires":[152],"much":[153],"lower":[154],"time,":[156],"while":[157],"achieving":[158],"higher":[160],"fault":[161],"finding":[162],"compared":[164],"regular":[166],"OMC/DC":[167],"generation.":[168]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}