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 |