@article{40,
  keywords = {Invariant mining, automated test generation, model-based development, verification and validation},
  author = {Christoph Schulze and Rance Cleaveland},
  title = {Improving Invariant Mining via Static Analysis},
  year = {2017},
  journal = {ACM Trans. Embed. Comput. Syst.},
  volume = {16},
  pages = {167:1–167:20},
  issn = {1539-9087},
  url = {http://doi.acm.org/10.1145/3126504},
  doi = {10.1145/3126504},
  language = {eng},
}