Choosing a Test Modeling Language: A Survey.

Alan Hartman Mika Katara Sergey Olvovsky

Published in: Haifa Verification Conference (2006)

Keyphrases

modeling language
metamodel
formal semantics
design rationale
uml profile
test cases
high level
declarative language
e learning
development process
design patterns
cooperative
case study
ims learning design
code generation
metadata
language constructs