Funder
Singapore's Ministry of Education
ERC
SPECMATE
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Pilot Study in Surveying Data Challenges of Automatic Software Engineering Tasks;Proceedings of the 4th International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things;2024-07-15
2. Bounding Random Test Set Size with Computational Learning Theory;Proceedings of the ACM on Software Engineering;2024-07-12
3. Multiple Targets Directed Greybox Fuzzing;IEEE Transactions on Dependable and Secure Computing;2024-01
4. Engineering a Formally Verified Automated Bug Finder;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Boosting Fuzzer Efficiency: An Information Theoretic Perspective;Communications of the ACM;2023-10-20