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.
|