Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1078253,
author = {Slabý, Jiří and Strejček, Jan and Trtík, Marek},
address = {Berlin, Heidelberg},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013},
doi = {http://dx.doi.org/10.1007/978-3-642-36742-7_50},
editor = {Nir Piterman, Scott A. Smolka},
keywords = {instrumentation; symbolic execution; program slicing},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin, Heidelberg},
isbn = {978-3-642-36741-0},
pages = {630-632},
publisher = {Springer},
title = {Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)},
year = {2013}
}
TY - JOUR
ID - 1078253
AU - Slabý, Jiří - Strejček, Jan - Trtík, Marek
PY - 2013
TI - Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
PB - Springer
CY - Berlin, Heidelberg
SN - 9783642367410
KW - instrumentation
KW - symbolic execution
KW - program slicing
N2 - Symbiotic is a tool for detection of bugs described by finite state machines in C programs. The tool combines three well-known techniques: instrumentation, program slicing, and symbolic execution. This paper briefly describes the approach of Symbiotic including its strengths, weaknesses, and modifications for SV-COMP 2013. Architecture and installation of the tool are described as well.
ER -
SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. \textit{Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013}. Berlin, Heidelberg: Springer, 2013, s.~630-632. ISBN~978-3-642-36741-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36742-7\_{}50.
|
