Symbolic Path-guided Test Cases for Models with Data and Time.

Boutheina Bannour Arnault Lapitre Pascale Le Gall Thang Nguyen

Published in: CoRR (2023)

Keyphrases

test cases
test data
data sets
database
computer systems
high level
neural network
artificial intelligence
training data
test set
metamodel
software testing
intermediate level