Symbiotic 6: generating test cases by slicing and symbolic execution

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou 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.