Metamorphic Model-Based Testing of Autonomous Systems.
Mikael LindvallAdam PorterGudjon MagnussonChristoph SchulzePublished in: MET@ICSE (2017)
Keyphrases
- autonomous systems
- model based testing
- test cases
- software development
- security policies
- software design
- software testing
- autonomous navigation
- dynamic environments
- uncertain environments
- sequence diagrams
- testing process
- test data
- situation awareness
- test suite
- data sets
- knowledge management
- software engineering
- learning process
- case study