Test Generation for Embedded Executables via Concolic Execution in a Real Environment.
Ting ChenXiaosong ZhangXiao-li JiCong ZhuYang BaiYue WuPublished in: IEEE Trans. Reliab. (2015)
Keyphrases
- test generation
- real environment
- symbolic execution
- static analysis
- augmented reality
- test cases
- dynamic environments
- virtual environment
- source code
- vision system
- high fidelity
- real time
- quality assurance
- autonomous robots
- real world
- software testing
- control system
- human computer interaction
- learning content
- path planning
- test set
- single image
- reinforcement learning
- high quality
- metadata