Funder
Singapore's Ministry of Education
ERC
SPECMATE
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Boosting Fuzzer Efficiency: An Information Theoretic Perspective;Communications of the ACM;2023-10-20
3. An analysis of how many undiscovered vulnerabilities remain in information systems;Computers & Security;2023-08
4. Reachable Coverage: Estimating Saturation in Fuzzing;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. PopArt: Ranked Testing Efficiency;IEEE Transactions on Software Engineering;2023-04-01