Detailed Information on Publication Record
2021
Symbiotic 6: generating test cases by slicing and symbolic execution
CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK, Jan STREJČEK et. al.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
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10200 1.2 Computer and information sciences
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
Impact factor
Impact factor: 1.256
RIV identification code
RIV/00216224:14330/21:00118732
Organization unit
Faculty of Informatics
UT WoS
000533802500002
Keywords in English
Symbiotic;Program Slicing;Symbolic execution;KLEE
Tags
International impact, Reviewed
Změněno: 23/4/2022 01:11, prof. RNDr. Jan Strejček, Ph.D.
Abstract
V originále
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 project |
| ||
| MUNI/A/1050/2019, interní kód MU |
|