Model-Based GUI Testing Using Uppaal at Novo Nordisk.

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

Browse the full FM paper archive.