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.
|