Symbiotic 6: generating test cases by slicing and symbolic execution

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

• Abstrakce a jiné techniky v semi-symbolické verifikaci programů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX