Author:
Barrett Clark,de Moura Leonardo,Stump Aaron
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;D. Berre Le,2004
2. Lecture Notes in Computer Science;H. Jin,2005
3. Lerner, S., Millstein, T., Chambers, C.: Automatically Proving the Correctness of Compiler Optimizations. In: Gupta, R. (ed.) ACM SIGPLAN Conference on Programming Language Design and Implementation (2003) (received best paper award)
4. Pelletier, F.J., Sutcliffe, G., Suttner, C.B.: The Development of CASC. AI Communications 15(2-3), 79–90 (2002)
5. Ranise, S., Tinelli, C.: The SMT-LIB standard, version 1.1 (2005), Available from the “Documents” section of,
http://combination.cs.uiowa.edu/smtlib
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. P4Testgen: An Extensible Test Oracle For P4-16;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09
2. Improving Bit-Blasting for Nonlinear Integer Constraints;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Characterizing and Improving Bug-Finders with Synthetic Bugs;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
4. Getting Saturated with Induction;Lecture Notes in Computer Science;2022
5. The RERS challenge: towards controllable and scalable benchmark synthesis;International Journal on Software Tools for Technology Transfer;2021-06-24