Model-Based GUI Testing Using Uppaal at Novo Nordisk.

Ulrik H. Hjort Jacob Illum Rasmussen Kim Guldstrand Larsen Michael A. Petersen Arne Skou

Published in: FM (2009)

Keyphrases

test cases
model based testing
model checking
test case generation
case study
real time
user friendly
controller synthesis
software testing
test data
user interface
test set
data driven
software development
multi agent systems
website
database