@article{ezzatiJivan2017adeclarative,
  author = {Florian Wininger and Naser Ezzati-Jivan and Michel R. Dagenais},
  title = {A declarative framework for stateful analysis of execution traces},
  year = {2017},
  journal = {Software Quality Journal},
  volume = {25},
  number = {1},
  pages = {201-229},
  publisher = {Springer Science and Business Media LLC},
  issn = {0963-9314, 1573-1367},
  doi = {10.1007/s11219-016-9311-0},
  url = {https://doi.org/10.1007/s11219-016-9311-0}
}