TY - JOUR
KW - Invariant mining
KW - automated test generation
KW - model-based development
KW - verification and validation
AU - Christoph Schulze
AU - Rance Cleaveland
BT - ACM Trans. Embed. Comput. Syst.
DO - 10.1145/3126504
LA - eng
PY - 2017
EP - 167:1–167:20
T2 - ACM Trans. Embed. Comput. Syst.
TI - Improving Invariant Mining via Static Analysis
UR - http://doi.acm.org/10.1145/3126504
VL - 16
SN - 1539-9087
ER -