Symbiotic 6: generating test cases by slicing and symbolic execution

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

CHALUPA Marek VITOVSKÁ Martina JAŠEK Tomáš ŠIMÁČEK Michael STREJČEK Jan

Rok publikování 2021
Druh Článek v odborném periodiku
Časopis / Zdroj International Journal on Software Tools for Technology Transfer
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://link.springer.com/article/10.1007%2Fs10009-020-00573-0
Doi http://dx.doi.org/10.1007/s10009-020-00573-0
Klíčová slova Symbiotic;Program Slicing;Symbolic execution;KLEE
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.