Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1357163,
author = {Chalupa, Marek and Jonáš, Martin and Slabý, Jiří and Strejček, Jan and Vitovská, Martina},
address = {Berlin, Heidelberg},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016},
doi = {http://dx.doi.org/10.1007/978-3-662-49674-9_67},
editor = {Marsha Chechik and Jean-Francois Raskin},
keywords = {instrumentation; symbolic execution; program slicing},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin, Heidelberg},
isbn = {978-3-662-49673-2},
pages = {946-949},
publisher = {Springer},
title = {Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)},
year = {2016}
}
TY - JOUR
ID - 1357163
AU - Chalupa, Marek - Jonáš, Martin - Slabý, Jiří - Strejček, Jan - Vitovská, Martina
PY - 2016
TI - Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
PB - Springer
CY - Berlin, Heidelberg
SN - 9783662496732
KW - instrumentation
KW - symbolic execution
KW - program slicing
N2 - Symbiotic 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor Klee has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow.
ER -
CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. \textit{Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016}. Berlin, Heidelberg: Springer, 2016, p.~946-949. ISBN~978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9\_{}67.
|
