| Title | Improving Invariant Mining via Static Analysis |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Schulze, Christoph, and Cleaveland Rance |
| Journal | ACM Trans. Embed. Comput. Syst. |
| Volume | 16 |
| Pagination | 167:1–167:20 |
| ISSN | 1539-9087 |
| Keywords | automated test generation, Invariant mining, model-based development, verification and validation |
| URL | http://doi.acm.org/10.1145/3126504 |
| DOI | 10.1145/3126504 |
