C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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