Néstor Cataño. Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead. Revista Comlombiana de Computación, 6(1), 2005. [doi]
@article{Catano05-0,
title = {Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead},
author = {Néstor Cataño},
year = {2005},
url = {http://revistas.unab.edu.co/index.php?journal=rcc&page=article&op=view&path 5B 5D=1069},
tags = {program analysis, meta programming, model checking, meta-model, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/Catano05-0},
cites = {0},
citedby = {0},
journal = {Revista Comlombiana de Computación},
volume = {6},
number = {1},
}