Improving Invariant Mining via Static Analysis
| Author | |
| Year of Publication | 2017 |
| Journal | ACM Trans. Embed. Comput. Syst. |
| Volume | 16 |
| Number of Pages | 167:1–167:20 |
| ISSN Number | 1539-9087 |
| URL | http://doi.acm.org/10.1145/3126504 |
| DOI | 10.1145/3126504 |
| Download citation |