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; Martina VITOVSKÁ; Tomáš JAŠEK; Michael ŠIMÁČEK a Jan STREJČEK
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
EID Scopus
2-s2.0-85086046512
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 |
|