RPA Testing Using Symbolic Execution.

Ciprian Paduraru Marina Cernat Adelina-Nicoleta Staicu

Published in: ICSOFT (2023)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
test cases
data flow
simulated annealing algorithm
software testing
data sets
genetic algorithm
software engineering
design process
formal specification