| CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK a Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, roč. 23, č. 6, s. 875-877. ISSN 1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-020-00573-0. |
Další formáty:
BibTeX
LaTeX
RIS
@article{1656857,
author = {Chalupa, Marek and Vitovská, Martina and Jašek, Tomáš and Šimáček, Michael and Strejček, Jan},
article_number = {6},
doi = {http://dx.doi.org/10.1007/s10009-020-00573-0},
keywords = {Symbiotic;Program Slicing;Symbolic execution;KLEE},
language = {eng},
issn = {1433-2779},
journal = {International Journal on Software Tools for Technology Transfer},
title = {Symbiotic 6: generating test cases by slicing and symbolic execution},
url = {https://link.springer.com/article/10.1007%2Fs10009-020-00573-0},
volume = {23},
year = {2021}
}
TY - JOUR
ID - 1656857
AU - Chalupa, Marek - Vitovská, Martina - Jašek, Tomáš - Šimáček, Michael - Strejček, Jan
PY - 2021
TI - Symbiotic 6: generating test cases by slicing and symbolic execution
JF - International Journal on Software Tools for Technology Transfer
VL - 23
IS - 6
SP - 875-877
EP - 875-877
SN - 14332779
KW - Symbiotic;Program Slicing;Symbolic execution;KLEE
UR - https://link.springer.com/article/10.1007%2Fs10009-020-00573-0
N2 - 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.
ER -
CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK a Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. \textit{International Journal on Software Tools for Technology Transfer}. 2021, roč.~23, č.~6, s.~875-877. ISSN~1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-020-00573-0.
|
