Florian Wininger, Naser Ezzati Jivan, Michel R. Dagenais. A declarative framework for stateful analysis of execution traces. Software Quality Journal, 25(1):201-229, 2017. [doi]
@article{WiningerJD17,
title = {A declarative framework for stateful analysis of execution traces},
author = {Florian Wininger and Naser Ezzati Jivan and Michel R. Dagenais},
year = {2017},
doi = {10.1007/s11219-016-9311-0},
url = {http://dx.doi.org/10.1007/s11219-016-9311-0},
researchr = {https://researchr.org/publication/WiningerJD17},
cites = {0},
citedby = {0},
journal = {Software Quality Journal},
volume = {25},
number = {1},
pages = {201-229},
}