Targeted test input generation using symbolic-concrete backward execution-Reference-Cited by-同舟云学术

Targeted test input generation using symbolic-concrete backward execution

Published:2014-09-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
language:
Short-container-title:

Author:

Dinges Peter¹,Agha Gul¹

Affiliation:

1. University of Illinois, Urbana-Champaign, IL, USA

Funder

Air Force Research Laboratory

Army Research Office

Publisher

ACM

Link

Reference24 articles.

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

1. Precisely Extracting Complex Variable Values from Android Apps;ACM Transactions on Software Engineering and Methodology;2024-06-04

2. Targeted Symbolic Execution for UAF Vulnerabilities;2023 7th International Conference on System Reliability and Safety (ICSRS);2023-11-22

3. When to Let the Developer Guide: Trade-offs Between Open and Guided Test Amplification;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02

5. Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12