Publisher
Springer International Publishing
Reference18 articles.
1. Cashew. https://cashew.vlab.cs.ucsb.edu/. Accessed Feb 2020
2. Green. https://github.com/GreenSolver/green/. Accessed Feb 2020
3. Aquino, A., Bianchi, F.A., Chen, M., Denaro, G., Pezzè, M.: Reusing constraint proofs in program analysis. In: ISSTA 2015, pp. 305–315. ACM (2015). https://doi.org/10.1145/2771783.2771802
4. Aquino, A., Denaro, G., Pezzè, M.: Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. In: ICSE 2017, pp. 427–437. IEEE/ACM (2017). https://doi.org/10.1109/ICSE.2017.46
5. Aquino, A., Denaro, G., Pezzè, M.: Reusing solutions modulo theories. IEEE Trans. Softw. Eng. (Early access), 385–394 (2019). https://doi.org/10.1109/TSE.2019.2898199
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献