Model-based testing of NASA's OSAL API - An experience report.
Christoph SchulzeDharmalingam GanesanMikael LindvallDave Mcf OmasAlan CudmorePublished in: ISSRE (2013)
Keyphrases
- model based testing
- test cases
- software development
- software design
- testing process
- security policies
- application programming interface
- sequence diagrams
- software testing
- source code
- case study
- nasa langley research center
- software systems
- open source
- test suite
- software engineering
- high level
- test sequences
- test data
- training process
- database
- e learning
- neural network