Dorel Lucanu, Rusu, Vlad, Andrei Arusoaie. A Generic Framework for Symbolic Execution: A Coinductive Approach. Journal of Symbolic Computation, 80:125-163, 2017. [doi]
@article{lucanu:hal-01238696,
title = {A Generic Framework for Symbolic Execution: a Coinductive Approach},
author = {Dorel Lucanu and Rusu, Vlad and Andrei Arusoaie},
year = {2017},
doi = {10.1016/j.jsc.2016.07.012},
url = {https://hal.inria.fr/hal-01238696},
researchr = {https://researchr.org/publication/lucanu%3Ahal-01238696},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {80},
pages = {125-163},
}