Automatic Testing of Program Slicers.

Sergio Pérez Josep Silva Salvador Tamarit

Published in: Sci. Program. (2019)

Keyphrases

test cases
symbolic execution
concurrent programs
test generation
test data
fully automatic
real time
data driven
computer programs
test suite
set of test cases
test data generation
program execution
software testing
objective function
clustering algorithm
knowledge base
learning algorithm