支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis).
Jiabiao LiangZhaopeng LiLing ZhuXianfei ShenPublished in: 计算机科学 (2016)
Keyphrases
- shape analysis
- symbolic execution
- static analysis
- test data generation
- test generation
- shape descriptors
- shape representation
- specification language
- source code
- data flow
- preserving transformations
- medical imaging
- test cases
- shape space
- image analysis and pattern recognition
- computer vision
- software testing
- generation algorithm
- x ray
- state space
- artificial intelligence
- machine learning