Author:
Garg Pranav,Ivancic Franjo,Balakrishnan Gogul,Maeda Naoto,Gupta Aarti
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
3. Baton: symphony of random testing and concolic testing through machine learning and taint analysis;Science China Information Sciences;2022-11-11
4. CITRUS: Automated Unit Testing Tool for Real-world C++ Programs;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
5. Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution;Automatic Control and Computer Sciences;2021-12