| Year | 2017 |
|---|---|
| Type | Journal |
| Status | Published |
| Authors | Dorel Lucanu, Vlad Rusu, Andrei Arusoaie |
Links
BibTeX
@article{LUCANU2017125,
title = "A generic framework for symbolic execution: A coinductive approach",
journal = "Journal of Symbolic Computation",
volume = "80",
pages = "125 - 163",
year = "2017",
note = "SI: Program Verification",
issn = "0747-7171",
doi = "https://doi.org/10.1016/j.jsc.2016.07.012",
url = "http://www.sciencedirect.com/science/article/pii/S0747717116300499",
author = "Dorel Lucanu and Vlad Rusu and Andrei Arusoaie",
keywords = "Symbolic execution, Programming language, Formal operational semantics, Reachability logic, Circular coinduction, Program verification"
}