Data-Driven Test Plan Augmentation for Platform Verification.

Wen Chen Kuo-Kai Hsieh Li-Chung Wang Jayanta Bhadra

Published in: IEEE Des. Test (2017)

Keyphrases

data driven
real time
plan recognition
test generation
face verification
statistical tests
pilot testing
platform independent
formal verification
planning domains
statistical significance
test data
model checking
search space
case study
website
metadata
data sets