{"id":"https://openalex.org/W2888482975","doi":"https://doi.org/10.13016/m2m61bt0k","title":"Model-Based Testing of Off-Nominal Behaviors","display_name":"Model-Based Testing of Off-Nominal Behaviors","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2888482975","doi":"https://doi.org/10.13016/m2m61bt0k","mag":"2888482975"},"language":"en","primary_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/20791","is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/20791","pdf_url":"http://hdl.handle.net/1903/20791","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1903/20791","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062627716","display_name":"Christoph Schulze","orcid":"https://orcid.org/0000-0003-2637-8178"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Schulze, Christoph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5062627716"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.6725999712944031,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.6725999712944031,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.34412074089050293},{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.3331310749053955},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.3285330533981323},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27474910020828247}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34412074089050293},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.3331310749053955},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.3285330533981323},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27474910020828247}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drum.lib.umd.edu:1903/20791","is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/20791","pdf_url":"http://hdl.handle.net/1903/20791","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},{"id":"mag:2888482975","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/20791","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/m2m61bt0k","is_oa":true,"landing_page_url":"https://doi.org/10.13016/m2m61bt0k","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Collection"}],"best_oa_location":{"id":"pmh:oai:drum.lib.umd.edu:1903/20791","is_oa":true,"landing_page_url":"http://hdl.handle.net/1903/20791","pdf_url":"http://hdl.handle.net/1903/20791","source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2888482975.pdf","grobid_xml":"https://content.openalex.org/works/W2888482975.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2406773059"],"abstract_inverted_index":{"Off-nominal":[0],"behaviors":[1,7,52],"(ONBs)":[2],"are":[3,25,180,244,386,460],"unexpected":[4],"or":[5,43,60,63,109],"unintended":[6],"that":[8,195,282,285,421],"may":[9],"be":[10,17,89,129,139,405],"exhibited":[11],"by":[12,19,28,276],"a":[13,85,254,330,450,463],"system.":[14,86],"They":[15],"can":[16,78,88,102,404],"caused":[18],"implementation":[20,136],"and":[21,24,54,82,94,131,141,148,156,189,208,219,240,260,293,308,332,338,344,398,413,454],"documentation":[22,157],"errors":[23],"often":[26],"triggered":[27],"unanticipated":[29],"external":[30],"stimuli,":[31],"such":[32,445],"as":[33,449,462],"unforeseen":[34],"sequences":[35],"of":[36,39,76,84,112,120,150,158,174,216,235,256,265,280,290,315,326,340,355,400,410,437,444,465],"events,":[37],"out":[38],"range":[40],"data":[41,362],"values,":[42],"environmental":[44],"issues.":[45],"System":[46],"specifications":[47,341,351],"typically":[48],"focus":[49],"on":[50],"nominal":[51],"(NBs),":[53],"do":[55],"not":[56],"refer":[57],"to":[58,70,104,116,128,138,167,182,190,270,302,306,426],"ONBs":[59,77,126],"their":[61,132,220],"causes":[62,124],"explain":[64],"how":[65,395],"the":[66,80,118,121,135,146,154,184,213,231,236,241,262,266,271,316,327,336,353,383,396,401,408,423,438,442],"system":[67,185,356,456,467],"should":[68],"respond":[69],"them.":[71],"In":[72,114,177],"addition,":[73],"untested":[74],"occurrences":[75],"compromise":[79],"safety":[81,119],"reliability":[83],"This":[87,143,268,392],"very":[90],"dangerous":[91],"in":[92,134,288,352],"mission-":[93],"safety-critical":[95],"systems,":[96,252],"like":[97],"spacecraft,":[98],"where":[99,382],"software":[100,175],"issues":[101],"lead":[103],"expensive":[105],"mission":[106],"failures,":[107],"injuries,":[108],"even":[110],"loss":[111],"life.":[113],"order":[115],"ensure":[117],"system,":[122],"potential":[123],"for":[125,153,171,194,212,229,250,295,335,342,452],"need":[127],"identified":[130],"handling":[133],"has":[137],"verified":[140],"documented.":[142],"thesis":[144,198,328],"describes":[145],"development":[147],"evaluation":[149,173],"model-based":[151],"techniques":[152,163,365],"identification":[155],"ONBs.":[159,297,346,470],"Model-Based":[160],"Testing":[161],"(MBT)":[162],"have":[164,440],"been":[165],"used":[166,181],"provide":[168],"automated":[169,214,304],"support":[170],"thorough":[172],"behavior.":[176],"MBT,":[178],"models":[179,218,239],"describe":[183],"under":[186],"test":[187,192,222,225,233,242,248,361,374,390],"(SUT)":[188],"derive":[191],"cases":[193,234,249],"SUT.":[196,267],"The":[197,204,224,238,323,347,369],"is":[199,227],"divided":[200],"into":[201],"two":[202],"parts.":[203],"first":[205],"part":[206,325],"develops":[207],"evaluates":[209],"an":[210,372,419],"approach":[211],"generation":[215],"MBT":[217,272,281,287],"associated":[221,320,333],"infrastructure.":[223],"infrastructure":[226,243],"responsible":[228],"executing":[230],"generated":[232,245,360,447],"models.":[237],"from":[246,358,430],"manual":[247],"web-based":[251],"using":[253,363],"set":[255],"heuristic":[257],"transformation":[258],"rules":[259],"leveraging":[261],"structured":[263],"nature":[264],"improvement":[269],"process":[273,425],"was":[274],"motivated":[275],"three":[277],"case":[278],"studies":[279],"we":[283],"conducted":[284],"evaluate":[286],"terms":[289],"its":[291],"effectiveness":[292],"efficiency":[294],"identifying":[296,343],"Our":[298,435],"experience":[299],"led":[300],"us":[301],"develop":[303],"approaches":[305],"model":[307],"test-infrastructure":[309],"creation,":[310],"since":[311],"these":[312],"were":[313],"some":[314],"most":[317],"time-consuming":[318],"tasks":[319],"with":[321,388,407,432],"MBT.":[322],"second":[324],"presents":[329],"framework":[331,348,370,439],"tooling":[334],"extraction":[337],"analysis":[339],"documenting":[345],"infers":[349],"behavioral":[350],"form":[354],"invariants":[357,385,403,429,448],"automatically":[359,446],"data-mining":[364],"(e.g.":[366],"association-rule":[367],"mining).":[368],"follows":[371],"iterative":[373,424],"->":[375,377,379],"infer":[376,428],"instrument":[378],"retest":[380],"paradigm,":[381],"initial":[384],"refined":[387],"additional":[389],"data.":[391],"work":[393],"shows":[394],"scalability":[397],"accuracy":[399],"resulting":[402],"improved":[406],"help":[409],"static":[411],"data-":[412],"control-flow":[414],"analysis.":[415],"Other":[416],"improvements":[417],"include":[418],"algorithm":[420],"leverages":[422],"accurately":[427],"variables":[431],"continuous":[433],"values.":[434],"evaluations":[436],"shown":[441],"utility":[443],"means":[451,464],"updating":[453],"completing":[455],"specifications;":[457],"they":[458],"also":[459],"useful":[461],"understanding":[466],"behavior":[468],"including":[469]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}