郑海兵 登封李0003 梁北海 夏曾 郑武杰 邓跃堂 林师父 魏阳0013 陶协0001 Android自动测试输入生成：在工业案例中实现。 253-262 2017 ICSE-SEIP公司 https://doi.org/10.109/ICSE-SEIP.2017.32 https://doi.ieecomputersociety.org/10.109/ICSE-SEIP.2017.32 conf/icse/2017seip db/conf/icse/icse2017seip.html#ZhengLLZZDLYX17