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

Boutheina Bannour Arnault Lapitre Pascale Le Gall Ngo Minh Thang Nguyen

Published in: FACS (2023)

Keyphrases

test cases
data sets
test data
high level
database
case study
error rate