Symbiotic 6: generating test cases by slicing and symbolic execution

Warning

This publication doesn't include Faculty of Arts. 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:	Abstrakce a jiné techniky v semi-symbolické verifikaci programů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX