基于测试例生成的Android应用数据竞争验证方法

佘艺,唐弘胤,吴国全,陈伟,魏峻,黄涛

Concurrency Bugs Verification in Android Applications Based on Test Case Generation

SHE Yi, TANG Hong-yin, WU Guo-quan, CHEN Wei, WEI Jun and HUANG Tao

计算机科学 . 2017, (11): 27 -32 . DOI: 10.11896/j.issn.1002-137X.2017.11.005