Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega. An SMT-based approach for generating trace examples and counter-examples of parametric properties. IJCCBS, 10(2):143-183, 2021. [doi]
@article{ChehidaLBV21,
title = {An SMT-based approach for generating trace examples and counter-examples of parametric properties},
author = {Salim Chehida and Yves Ledru and Yoann Blein and Germán Vega},
year = {2021},
doi = {10.1504/IJCCBS.2021.117997},
url = {https://doi.org/10.1504/IJCCBS.2021.117997},
researchr = {https://researchr.org/publication/ChehidaLBV21},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {10},
number = {2},
pages = {143-183},
}