Android应用的模糊测试关键技术研究

61772056
2017
F0203.软件理论、软件工程与服务
姜博
面上项目
副教授
北京航空航天大学
56万元
移动应用;测试预言;符号执行;模糊测试;自动化调试
2018-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 先进航空装备机载系统软件自动化测试技术及其应用 奖励 殷永峰;王轶辰;姜博;路云峰;程玉杰;王世海;吕琛;吴玉美;王超;余正伟
2 An Empirical Study of Regression Bug Chains in Linux 期刊论文 Guanping Xiao;Zheng;Bo Jiang;Yulei Sui
3 QRS 2017 最佳论文第一名 奖励 Bo Jiang;Yaoyue Zhang;W.K. Chan;Zhenyu Zhang
4 RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces 期刊论文 Shangru Wu;Xiaoxue Ma;ERNEST POBEE;XIUPEI MEI;HAO ZHANG;Bo Jiang;W. K. chan
5 Fuse: An Architecture for Smart Contract Fuzz Testing Service 会议论文 Chan W. K.;Jiang Bo
6 ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection 会议论文 Bo Jiang;Ye Liu;W.K. Chan
7 A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications 期刊论文 Jiang Bo;Zhang Yaoyue;Chan Wing Kwong;Zhang Zhenyu
8 SimplyDroid: Efficient Event Sequence Simplification for Android Application 会议论文 Jiang Bo;Wu Yuxuan;Li Teng;Chan W. K.
9 一种基于符号执行的WASM智能合约漏洞检测方法 专利 姜博;王冬;陈一飞;万寒
10 ReTestDroid: Towards Safer Regression Test Selection for Android Application 会议论文 Bo Jiang;Yu Wu;Yongfei Zhang;Zhenyu Zhang;W.K. Chan
11 一种兼容以太网通信的TTP/C通信节点实现方法 专利 姜博;管文瀚;万寒;高小鹏
12 WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection 会议论文 Bo Jiang;Yifei Chen;Dong Wang;Imran Ashraf;W.K. Chan
13 嵌入式软件系统测试 专著 殷永峰;姜博
14 EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection 会议论文 Yuhe Huang;Bo Jiang;W. K. Chan
15 一种Android应用自动化测试用例精简方法 专利 姜博;李腾;吴宇轩;万寒
16 MCFL: Improving Fault Localization by Differentiating Missing Code and other Faults 会议论文 Zijie Li;Long Zhang;Zhenyu Zhang;Bo Jiang
17 HistLock plus : Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection 期刊论文 Yang Jialin;Jiang Bo;Chan W. K.
18 CUDAsmith: A Fuzzer for CUDA Compilers 会议论文 Jiang Bo;Wang Xiaoyan;Chan W. K.;Tse T. H.;Li Na;Yin Yongfeng;Zhang Zhenyu
19 GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities 期刊论文 Imran Ashraf;Xiaoxue Ma;Bo Jiang;W. K. Chan
20 Revisiting the Design of LSM-tree Based OLTP Storage Engine with Persistent Memory 会议论文 Baoyue Yan;Xuntao Cheng;Bo Jiang;Shibin Chen;Canfang Shang;Jianying Wang;Kenry Huang;Xinjun Yang;Wei Cao;Feifei Li
21 DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning 会议论文 Bo Jiang;Wenlin Wei;Li Yi;W.K. Chan
22 嵌入式软件加速测试与诊断分析 奖励 杨顺昆;李大庆;陶飞;郑征;徐皑冬;路云峰;姜博;李可;李星;王锴;曾福萍;李国旗;边冲;苟晓冬
23 A Scalable Operating System Experiment Platform Supporting Learning Behavior Analysis 期刊论文 Wang Lei;Zhen Ziqi;Wo Tianyu;Jiang Bo;Sun Hailong;Long Xiang
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享