Author:
Wei Shiyi,Mardziel Piotr,Ruef Andrew,Foster Jeffrey S.,Hicks Michael
Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Testing and Benchmarking for Configurable Static Analysis Tools;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
4. PReach;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
5. SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11