Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski. Behind the scenes in SANTE: a combination of static and dynamic analyses. Automated Software Engineering, 21(1):107-143, 2014. [doi]
@article{ChebaroCKMPWY14,
title = {Behind the scenes in SANTE: a combination of static and dynamic analyses},
author = {Omar Chebaro and Pascal Cuoq and Nikolai Kosmatov and Bruno Marre and Anne Pacalet and Nicky Williams and Boris Yakobowski},
year = {2014},
doi = {10.1007/s10515-013-0127-x},
url = {http://dx.doi.org/10.1007/s10515-013-0127-x},
researchr = {https://researchr.org/publication/ChebaroCKMPWY14},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {21},
number = {1},
pages = {107-143},
}