Login / Signup
Model-based Player Experience Testing with Emotion Pattern Verification.
Saba Gholizadeh Ansari
I. S. W. B. Prasetya
Davide Prandi
Fitsum Meshesha Kifetew
Mehdi Dastani
Frank Dignum
Gabriele Keller
Published in:
FASE (2023)
Keyphrases
</>
formal verification
symbolic execution
test generation
pattern matching
model checking
user experience
pattern discovery
game play
model free
face verification
current situation
test set
associative memory
signature verification
verification method
text to speech synthesis