基于测试例生成的Android应用数据竞争验证方法 (Concurrency Bugs Verification in Android Applications Based on Test Case Generation).
Yi SheHongyin TangGuoquan WuWei ChenJun WeiTao HuangPublished in: 计算机科学 (2017)
Keyphrases
- test case generation
- test cases
- test generation
- software testing
- software systems
- object oriented systems
- test data generation
- source code
- test suite
- concurrency control
- mobile devices
- static analysis
- model checking
- database systems
- object oriented
- open source
- test set
- mobile applications
- case study
- genetic algorithm
- quality assurance
- data sets
- computer systems
- simulated annealing
- high level