Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024190792> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2024190792 abstract "We present a case study that evaluates the applicability and effectiveness of model-based testing in detecting bugs in real-world, mission-critical systems. NASA's Operating System ion Layer (OSAL) is the subject system of this paper. The OSAL is a reusable framework that wraps several operating systems (OS) and is used extensively in NASA's flight software missions. We developed a suite of behavioral models, represented as hierarchical finite state machines (FSMs), of the core file system API and generated a large number of test cases automatically. We then automatically executed these test cases against the OSAL. The results show that the OSAL is a high quality product. Naturally, due to the systematic and rigorous nature of MBT, we detected a few previously unknown “corner-case” bugs and issues, which escaped traditional manual testing and code reviews. We discuss the MBT architecture, the detected bugs, the code coverage of generated tests, as well as threats to validity of the study." @default.
- W2024190792 created "2016-06-24" @default.
- W2024190792 creator A5022716868 @default.
- W2024190792 creator A5051006137 @default.
- W2024190792 creator A5062627716 @default.
- W2024190792 creator A5070426245 @default.
- W2024190792 creator A5087930598 @default.
- W2024190792 date "2013-11-01" @default.
- W2024190792 modified "2023-10-02" @default.
- W2024190792 title "Model-based testing of NASA's OSAL API — An experience report" @default.
- W2024190792 cites W1571024205 @default.
- W2024190792 cites W1821489642 @default.
- W2024190792 cites W1998021290 @default.
- W2024190792 cites W2118937568 @default.
- W2024190792 cites W2124877509 @default.
- W2024190792 cites W2151704521 @default.
- W2024190792 cites W2153601374 @default.
- W2024190792 cites W4239305250 @default.
- W2024190792 doi "https://doi.org/10.1109/issre.2013.6698883" @default.
- W2024190792 hasPublicationYear "2013" @default.
- W2024190792 type Work @default.
- W2024190792 sameAs 2024190792 @default.
- W2024190792 citedByCount "10" @default.
- W2024190792 countsByYear W20241907922014 @default.
- W2024190792 countsByYear W20241907922015 @default.
- W2024190792 countsByYear W20241907922016 @default.
- W2024190792 countsByYear W20241907922017 @default.
- W2024190792 crossrefType "proceedings-article" @default.
- W2024190792 hasAuthorship W2024190792A5022716868 @default.
- W2024190792 hasAuthorship W2024190792A5051006137 @default.
- W2024190792 hasAuthorship W2024190792A5062627716 @default.
- W2024190792 hasAuthorship W2024190792A5070426245 @default.
- W2024190792 hasAuthorship W2024190792A5087930598 @default.
- W2024190792 hasConcept C1009929 @default.
- W2024190792 hasConcept C111919701 @default.
- W2024190792 hasConcept C115903868 @default.
- W2024190792 hasConcept C117447612 @default.
- W2024190792 hasConcept C119857082 @default.
- W2024190792 hasConcept C128942645 @default.
- W2024190792 hasConcept C151552104 @default.
- W2024190792 hasConcept C152877465 @default.
- W2024190792 hasConcept C165825675 @default.
- W2024190792 hasConcept C166957645 @default.
- W2024190792 hasConcept C177264268 @default.
- W2024190792 hasConcept C199360897 @default.
- W2024190792 hasConcept C2776760102 @default.
- W2024190792 hasConcept C2777904410 @default.
- W2024190792 hasConcept C2780940931 @default.
- W2024190792 hasConcept C41008148 @default.
- W2024190792 hasConcept C529173508 @default.
- W2024190792 hasConcept C53942775 @default.
- W2024190792 hasConcept C79581498 @default.
- W2024190792 hasConcept C95457728 @default.
- W2024190792 hasConceptScore W2024190792C1009929 @default.
- W2024190792 hasConceptScore W2024190792C111919701 @default.
- W2024190792 hasConceptScore W2024190792C115903868 @default.
- W2024190792 hasConceptScore W2024190792C117447612 @default.
- W2024190792 hasConceptScore W2024190792C119857082 @default.
- W2024190792 hasConceptScore W2024190792C128942645 @default.
- W2024190792 hasConceptScore W2024190792C151552104 @default.
- W2024190792 hasConceptScore W2024190792C152877465 @default.
- W2024190792 hasConceptScore W2024190792C165825675 @default.
- W2024190792 hasConceptScore W2024190792C166957645 @default.
- W2024190792 hasConceptScore W2024190792C177264268 @default.
- W2024190792 hasConceptScore W2024190792C199360897 @default.
- W2024190792 hasConceptScore W2024190792C2776760102 @default.
- W2024190792 hasConceptScore W2024190792C2777904410 @default.
- W2024190792 hasConceptScore W2024190792C2780940931 @default.
- W2024190792 hasConceptScore W2024190792C41008148 @default.
- W2024190792 hasConceptScore W2024190792C529173508 @default.
- W2024190792 hasConceptScore W2024190792C53942775 @default.
- W2024190792 hasConceptScore W2024190792C79581498 @default.
- W2024190792 hasConceptScore W2024190792C95457728 @default.
- W2024190792 hasLocation W20241907921 @default.
- W2024190792 hasOpenAccess W2024190792 @default.
- W2024190792 hasPrimaryLocation W20241907921 @default.
- W2024190792 hasRelatedWork W1480521623 @default.
- W2024190792 hasRelatedWork W2024190792 @default.
- W2024190792 hasRelatedWork W2098051004 @default.
- W2024190792 hasRelatedWork W2146174626 @default.
- W2024190792 hasRelatedWork W2152417349 @default.
- W2024190792 hasRelatedWork W2401619241 @default.
- W2024190792 hasRelatedWork W2410893741 @default.
- W2024190792 hasRelatedWork W2538766212 @default.
- W2024190792 hasRelatedWork W2886412171 @default.
- W2024190792 hasRelatedWork W2890397548 @default.
- W2024190792 isParatext "false" @default.
- W2024190792 isRetracted "false" @default.
- W2024190792 magId "2024190792" @default.
- W2024190792 workType "article" @default.