Uncovering reviewing and reflecting behaviors from paper-based formal assessment.

I-Han Hsiao Po-Kai Huang Hannah Murphy

Published in: LAK (2017)

Keyphrases

human behavior
formal methods
assessment tool
behavior patterns
state transitions
formal model
assessment process
data sets
dynamic behavior
behavior analysis
social behavior
formal analysis
formal specification
finite state machines
hidden markov models
evolutionary algorithm
video sequences
web services