{"id":"https://openalex.org/W2024190792","doi":"https://doi.org/10.1109/issre.2013.6698883","title":"Model-based testing of NASA's OSAL API \u2014 An experience report","display_name":"Model-based testing of NASA's OSAL API \u2014 An experience report","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2024190792","doi":"https://doi.org/10.1109/issre.2013.6698883","mag":"2024190792"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2013.6698883","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2013.6698883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","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/A5062627716","display_name":"Christoph Schulze","orcid":"https://orcid.org/0000-0003-2637-8178"},"institutions":[{"id":"https://openalex.org/I4210162509","display_name":"Fraunhofer USA Center Mid-Atlantic CMA","ror":"https://ror.org/05sz9gw20","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210161623","https://openalex.org/I4210162509","https://openalex.org/I4923324"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoph Schulze","raw_affiliation_strings":["Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA","institution_ids":["https://openalex.org/I4210162509"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022716868","display_name":"Dharmalingam Ganesan","orcid":"https://orcid.org/0000-0003-2690-1395"},"institutions":[{"id":"https://openalex.org/I4210162509","display_name":"Fraunhofer USA Center Mid-Atlantic CMA","ror":"https://ror.org/05sz9gw20","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210161623","https://openalex.org/I4210162509","https://openalex.org/I4923324"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dharmalingam Ganesan","raw_affiliation_strings":["Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA","institution_ids":["https://openalex.org/I4210162509"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070426245","display_name":"Mikael Lindvall","orcid":"https://orcid.org/0009-0001-7457-4002"},"institutions":[{"id":"https://openalex.org/I4210162509","display_name":"Fraunhofer USA Center Mid-Atlantic CMA","ror":"https://ror.org/05sz9gw20","country_code":"US","type":"facility","lineage":["https://openalex.org/I4210161623","https://openalex.org/I4210162509","https://openalex.org/I4923324"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mikael Lindvall","raw_affiliation_strings":["Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fraunhofer Center for Experimental Software Engineering College Park, Maryland, USA","institution_ids":["https://openalex.org/I4210162509"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097312168","display_name":"Dave Mcf Omas","orcid":null},"institutions":[{"id":"https://openalex.org/I1306266525","display_name":"Goddard Space Flight Center","ror":"https://ror.org/0171mag52","country_code":"US","type":"facility","lineage":["https://openalex.org/I1306266525","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dave Mcf Omas","raw_affiliation_strings":["NASA Goddard Space Flight Center Greenbelt, Maryland, USA","NASA/Goddard Space Flight Center; Greenbelt, Greenbelt, MD, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NASA Goddard Space Flight Center Greenbelt, Maryland, USA","institution_ids":["https://openalex.org/I1306266525"]},{"raw_affiliation_string":"NASA/Goddard Space Flight Center; Greenbelt, Greenbelt, MD, USA","institution_ids":["https://openalex.org/I1306266525"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051006137","display_name":"Alan Cudmore","orcid":null},"institutions":[{"id":"https://openalex.org/I1306266525","display_name":"Goddard Space Flight Center","ror":"https://ror.org/0171mag52","country_code":"US","type":"facility","lineage":["https://openalex.org/I1306266525","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Cudmore","raw_affiliation_strings":["NASA Goddard Space Flight Center Greenbelt, Maryland, USA","NASA/Goddard Space Flight Center; Greenbelt, Greenbelt, MD, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NASA Goddard Space Flight Center Greenbelt, Maryland, USA","institution_ids":["https://openalex.org/I1306266525"]},{"raw_affiliation_string":"NASA/Goddard Space Flight Center; Greenbelt, Greenbelt, MD, USA","institution_ids":["https://openalex.org/I1306266525"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.2121,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.94809215,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4949","issue":null,"first_page":"300","last_page":"309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5045937299728394},{"id":"https://openalex.org/keywords/astrobiology","display_name":"Astrobiology","score":0.3526471257209778},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0707513689994812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5045937299728394},{"id":"https://openalex.org/C87355193","wikidata":"https://www.wikidata.org/wiki/Q411","display_name":"Astrobiology","level":1,"score":0.3526471257209778},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0707513689994812}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/issre.2013.6698883","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2013.6698883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/382485","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/382485","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1541251624","https://openalex.org/W1571024205","https://openalex.org/W1710734607","https://openalex.org/W1821489642","https://openalex.org/W1987903409","https://openalex.org/W1992602600","https://openalex.org/W1998021290","https://openalex.org/W2118937568","https://openalex.org/W2124877509","https://openalex.org/W2151704521","https://openalex.org/W2153601374","https://openalex.org/W2153850578","https://openalex.org/W2290498857","https://openalex.org/W2407017200","https://openalex.org/W4212924738","https://openalex.org/W4239305250","https://openalex.org/W6632407003","https://openalex.org/W6637688222","https://openalex.org/W6647446867","https://openalex.org/W6648510472"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2952265190","https://openalex.org/W4396696052","https://openalex.org/W4402327032"],"abstract_inverted_index":{"We":[0,55,84,133],"present":[1],"a":[2,37,57,77,101,117],"case":[3],"study":[4],"that":[5,40,97],"evaluates":[6],"the":[7,28,70,92,98,108,135,138,141,154],"applicability":[8],"and":[9,46,75,110,123,130],"effectiveness":[10],"of":[11,31,59,69,80,113,144,153],"model-based":[12],"testing":[13,129],"in":[14,17,50],"detecting":[15],"bugs":[16,122],"real-world,":[18],"mission-critical":[19],"systems.":[20],"NASA's":[21,51],"Operating":[22],"System":[23],"ion":[24],"Layer":[25],"(OSAL)":[26],"is":[27,36,47,100],"subject":[29],"system":[30,73],"this":[32],"paper.":[33],"The":[34,94],"OSAL":[35,99],"reusable":[38],"framework":[39],"wraps":[41],"several":[42],"operating":[43],"systems":[44],"(OS)":[45],"used":[48],"extensively":[49],"flight":[52],"software":[53],"missions.":[54],"developed":[56],"suite":[58],"behavioral":[60],"models,":[61],"represented":[62],"as":[63,147,149],"hierarchical":[64],"finite":[65],"state":[66],"machines":[67],"(FSMs),":[68],"core":[71],"file":[72],"API":[74],"generated":[76,145],"large":[78],"number":[79],"test":[81,89],"cases":[82,90],"automatically.":[83],"then":[85],"automatically":[86],"executed":[87],"these":[88],"against":[91],"OSAL.":[93],"results":[95],"show":[96],"high":[102],"quality":[103],"product.":[104],"Naturally,":[105],"due":[106],"to":[107,151],"systematic":[109],"rigorous":[111],"nature":[112],"MBT,":[114],"we":[115],"detected":[116,139],"few":[118],"previously":[119],"unknown":[120],"\u201ccorner-case\u201d":[121],"issues,":[124],"which":[125],"escaped":[126],"traditional":[127],"manual":[128],"code":[131,142],"reviews.":[132],"discuss":[134],"MBT":[136],"architecture,":[137],"bugs,":[140],"coverage":[143],"tests,":[146],"well":[148],"threats":[150],"validity":[152],"study.":[155]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}