Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1166237,
author = {Slabý, Jiří and Strejček, Jan},
address = {Berlin, Heidelberg},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014},
doi = {http://dx.doi.org/10.1007/978-3-642-54862-8_34},
editor = {E. Ábrahám and K. Havelund},
keywords = {instrumentation; symbolic execution; program slicing},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin, Heidelberg},
isbn = {978-3-642-54861-1},
pages = {415-417},
publisher = {Springer},
title = {Symbiotic 2: More Precise Slicing (Competition Contribution)},
year = {2014}
}
TY - JOUR
ID - 1166237
AU - Slabý, Jiří - Strejček, Jan
PY - 2014
TI - Symbiotic 2: More Precise Slicing (Competition Contribution)
PB - Springer
CY - Berlin, Heidelberg
SN - 9783642548611
KW - instrumentation
KW - symbolic execution
KW - program slicing
N2 - Symbiotic 2 keeps the concept and the structure of the original bug-finding tool Symbiotic, but it uses a more precise slicing based on a field-sensitive pointer analysis instead of field-insensitive analysis of the original tool. The paper discusses this improvement and its consequences. We also briefly recall basic principles of the tool, its strong and weak points, installation, and running instructions. Finally, we comment the results achieved by Symbiotic 2 in the competition.
ER -
SLABÝ, Jiří and Jan STREJČEK. Symbiotic 2: More Precise Slicing (Competition Contribution). In E. Ábrahám and K. Havelund. \textit{Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014}. Berlin, Heidelberg: Springer, 2014, p.~415-417. ISBN~978-3-642-54861-1. Available from: https://dx.doi.org/10.1007/978-3-642-54862-8\_{}34.
|
