Author:
Stump A.,Barrett C.W.,Dill D.L.,Levitt J.
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Succinct ordering and aggregation constraints in algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-08
2. On algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-01
3. State Merging with Quantifiers in Symbolic Execution;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms;2023 IEEE Symposium on Security and Privacy (SP);2023-05
5. A Solver for Arrays with Concatenation;Journal of Automated Reasoning;2023-01-07