Login / Signup
Symbiotic 6: generating test cases by slicing and symbolic execution.
Marek Chalupa
Martina Vitovská
Tomás Jasek
Michael Simácek
Jan Strejcek
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
source code
data flow
specification language
software systems
test cases
neural network
decision trees
search algorithm
open source
software architecture
integrity constraints
description language