Endre Fülöp, Norbert Pataki. A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. Central Europ. J. Computer Science, 11(1):107-115, 2021. [doi]
@article{FulopP21,
title = {A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution},
author = {Endre Fülöp and Norbert Pataki},
year = {2021},
doi = {10.1515/comp-2020-0120},
url = {https://doi.org/10.1515/comp-2020-0120},
researchr = {https://researchr.org/publication/FulopP21},
cites = {0},
citedby = {0},
journal = {Central Europ. J. Computer Science},
volume = {11},
number = {1},
pages = {107-115},
}