An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification.
Greg ChanceAbanoub GhobrialSéverin LemaignanTony PipeKerstin EderPublished in: AITest (2020)
Keyphrases
- test generation
- autonomous vehicles
- symbolic execution
- test cases
- path planning
- obstacle avoidance
- static analysis
- design automation
- multiagent systems
- quality assurance
- software testing
- autonomous agents
- real time
- robot control
- mobile robot
- cooperative
- urban environments
- code coverage
- life cycle
- database systems
- artificial intelligence