%0 Journal Article
%K Invariant mining
%K automated test generation
%K model-based development
%K verification and validation
%B ACM Trans. Embed. Comput. Syst.
%D 2017
%G eng
%P 167:1–167:20
%R 10.1145/3126504
%T Improving Invariant Mining via Static Analysis
%U http://doi.acm.org/10.1145/3126504
%V 16