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

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	SLABÝ Jiří STREJČEK Jan TRTÍK Marek
Rok publikování	2013
Druh	Článek ve sborníku
Konference	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1007/978-3-642-36742-7_50
Obor	Informatika
Klíčová slova	instrumentation; symbolic execution; program slicing
Přiložené soubory	77950621.pdf
Popis	Symbiotic je nástroj pro detekci chyb popsaných pomocí konečně-stavových strojů v programech v jazyce C. Tento nástroj kombinuje tři dobře známé techniky: instrumentaci, program slicing a symbolickou exekuci. Článek stručně popisuje přístup Symbioticu včetně jeho silných a slabých stránek a úprav pro soutěž SV-COMP 2013. Také je popsána architektura a instalace nástroje.
Související projekty:	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.