Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	SLABÝ Jiří STREJČEK Jan TRTÍK Marek
Year of publication	2013
Type	Article in Proceedings
Conference	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013
MU Faculty or unit	Faculty of Informatics
Citation
Doi	https://doi.org/10.1007/978-3-642-36742-7_50
Field	Informatics
Keywords	instrumentation; symbolic execution; program slicing
Attached files	77950621.pdf
Description	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.
Related projects:	Centrum excelence - Institut teoretické informatiky Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.