| Identifikační kód | RIV/00216224:14330/13:00065969 |
|---|
| Název v anglickém jazyce | Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jiří Slabý (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6545270)
Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915)
Marek Trtík (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9937056) |
|---|
| Popis výsledku v anglickém jazyce | 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. |
|---|
| Klíčová slova oddělená středníkem | instrumentation; symbolic execution; program slicing |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-642-36742-7_50 |
|---|