Android testing via synthetic symbolic execution-Reference-Cited by-同舟云学术

Android testing via synthetic symbolic execution

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Gao Xiang¹,Tan Shin Hwei²,Dong Zhen¹,Roychoudhury Abhik¹

Affiliation:

1. National University of Singapore, Singapore

2. Southern University of Science and Technology, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3238147.3238225

Reference40 articles.

1. Automated concolic testing of smartphone apps

2. Directed test generation for effective fault localization

3. Steven Arzt Siegfried Rasthofer Christian Fritz Eric Bodden Alexandre Bartel Jacques Klein Yves Le Traon Damien Octeau and Patrick McDaniel. 2014. Steven Arzt Siegfried Rasthofer Christian Fritz Eric Bodden Alexandre Bartel Jacques Klein Yves Le Traon Damien Octeau and Patrick McDaniel. 2014.

4. FlowDroid

5. Addressing challenges in obtaining high coverage when model checking Android applications

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesis-Based Enhancement for GUI Test Case Migration;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey;ACM Transactions on Software Engineering and Methodology;2024-06-27

3. DinoDroid: Testing Android Apps Using Deep Q-Networks;ACM Transactions on Software Engineering and Methodology;2024-06-04

4. Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06

5. AppChainer: investigating the chainability among payloads in android applications;Cybersecurity;2023-08-02