CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK and Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, vol. 23, No 6, p. 875-877. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-020-00573-0.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Symbiotic 6: generating test cases by slicing and symbolic execution
Authors CHALUPA, Marek (203 Czech Republic, belonging to the institution), Martina VITOVSKÁ (203 Czech Republic, belonging to the institution), Tomáš JAŠEK (703 Slovakia, belonging to the institution), Michael ŠIMÁČEK (203 Czech Republic, belonging to the institution) and Jan STREJČEK (203 Czech Republic, guarantor, belonging to the institution).
Edition International Journal on Software Tools for Technology Transfer, 2021, 1433-2779.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10200 1.2 Computer and information sciences
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
WWW URL
Impact factor Impact factor: 1.256
RIV identification code RIV/00216224:14330/21:00118732
Organization unit Faculty of Informatics
Doi http://dx.doi.org/10.1007/s10009-020-00573-0
UT WoS 000533802500002
Keywords in English Symbiotic;Program Slicing;Symbolic execution;KLEE
Tags bug-detection, formela-ver, program analysis, program slicing, Symbiotic
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/4/2022 01:11.
Abstract
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.
Links
GA18-02177S, research and development projectName: Abstrakce a jiné techniky v semi-symbolické verifikaci programů
Investor: Czech Science Foundation
MUNI/A/1050/2019, interní kód MUName: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Acronym: SV-FI MAV IX)
Investor: Masaryk University, Category A
PrintDisplayed: 11/5/2024 17:04