Author:
Aiken Alex,Bugrara Suhabe,Dillig Isil,Dillig Thomas,Hackett Brian,Hawkins Peter
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Octopus
: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions;ACM Transactions on Software Engineering and Methodology;2024-03-29
2. BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Logging Practices in Software Engineering: A Systematic Mapping Study;IEEE Transactions on Software Engineering;2023-02-01
4. From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems;Proceedings of the ACM on Programming Languages;2023-01-09
5. Distributed bounded model checking;Formal Methods in System Design;2022-01-05