2021
Symbiotic 6: generating test cases by slicing and symbolic execution
CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK, Jan STREJČEK et. al.Základní údaje
Originální název
Symbiotic 6: generating test cases by slicing and symbolic execution
Autoři
CHALUPA, Marek (203 Česká republika, domácí), Martina VITOVSKÁ (203 Česká republika, domácí), Tomáš JAŠEK (703 Slovensko, domácí), Michael ŠIMÁČEK (203 Česká republika, domácí) a Jan STREJČEK (203 Česká republika, garant, domácí)
Vydání
International Journal on Software Tools for Technology Transfer, 2021, 1433-2779
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10200 1.2 Computer and information sciences
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 1.256
Kód RIV
RIV/00216224:14330/21:00118732
Organizační jednotka
Fakulta informatiky
UT WoS
000533802500002
Klíčová slova anglicky
Symbiotic;Program Slicing;Symbolic execution;KLEE
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 23. 4. 2022 01:11, prof. RNDr. Jan Strejček, Ph.D.
Anotace
V originále
Symbiotic is a bug-finding and verification tool that integrates light-weight static analyses and instrumentation with program slicing and symbolic execution. The techniques are suitably combined according to a given goal. The paper describes a particular configuration competing in Test-Comp 2019. We also provide a brief analysis of Symbiotic ’s results achieved in the competition. As our tool uses a fork of the open-source symbolic executor Klee, we focus on comparison with mainstream Klee that also participated in the competition this year.
Návaznosti
| GA18-02177S, projekt VaV |
| ||
| MUNI/A/1050/2019, interní kód MU |
|