Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic-Reference-Cited by-同舟云学术

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

Author:

Zheng Guolong,Bagheri Hamid,Rothermel Gregg,Wang Jianghao

Publisher

Springer International Publishing

Link

Reference66 articles.

1. Covert analysis tool. http://www.sdalab.com/projects/covert (2017)

2. Google play market. http://play.google.com/store/apps/ (2017)

3. WordPress. http://codex.wordpress.org/Database_Description/3.3 (2017)

4. Green solver. https://github.com/green-solver/green-solver/tree/master/green/test/za/ac/sun/cs/green/misc (2018)

5. Platinum repository. https://sites.google.com/view/platinum-repository (2019)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

5. Static Profiling of Alloy Models;IEEE Transactions on Software Engineering;2023-02-01