Detailed Information on Publication Record

@inproceedings{16069,
   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},
   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  - 16069
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 and Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In \textit{Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013}. Berlin, Heidelberg: Springer, 2013, p.~630-632. ISBN~978-3-642-36741-0.