Author:
Bradley Aaron R.,Manna Zohar,Sipma Henny B.
Publisher
Springer Berlin Heidelberg
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
2. What Else is Undecidable About Loops?;Relational and Algebraic Methods in Computer Science;2023
3. Polynomial reachability witnesses via Stellensätze;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. DynamiTe: dynamic termination and non-termination proofs;Proceedings of the ACM on Programming Languages;2020-11-13
5. Distilling Programs to Prove Termination;Electronic Proceedings in Theoretical Computer Science;2020-08-07