Symbiotic 6: generating test cases by slicing and symbolic execution

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2021
Type Article in Periodical
Magazine / Source International Journal on Software Tools for Technology Transfer
MU Faculty or unit

Faculty of Informatics

Citation
Web https://link.springer.com/article/10.1007%2Fs10009-020-00573-0
Doi http://dx.doi.org/10.1007/s10009-020-00573-0
Keywords Symbiotic;Program Slicing;Symbolic execution;KLEE
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.