Author:
Csallner Christoph,Smaragdakis Yannis
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exchanging information in cooperative software validation;Software and Systems Modeling;2024-03-19
2. Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
4. Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites;Software: Practice and Experience;2022-12-29
5. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08