2013
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍKZákladní údaje
Originální název
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
Autoři
SLABÝ, Jiří (203 Česká republika, garant, domácí), Jan STREJČEK (203 Česká republika, domácí) a Marek TRTÍK (203 Česká republika, domácí)
Vydání
Berlin, Heidelberg, Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, od s. 630-632, 3 s. 2013
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/13:00065969
Organizační jednotka
Fakulta informatiky
ISBN
978-3-642-36741-0
ISSN
Klíčová slova anglicky
instrumentation; symbolic execution; program slicing
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 27. 4. 2014 22:59, RNDr. Pavel Šmerk, Ph.D.
V originále
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.
Česky
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.
Návaznosti
GBP202/12/G061, projekt VaV |
| ||
MUNI/A/0739/2012, interní kód MU |
| ||
MUNI/A/0760/2012, interní kód MU |
|