Model-Based GUI Testing Using Uppaal at Novo Nordisk - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou. Model-Based GUI Testing Using Uppaal at Novo Nordisk. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 814-818, Springer, 2009. [doi]

This author has not been identified. Look up 'Ulrik H. Hjort' in GoogleThis author has not been identified. Look up 'Jacob Illum Rasmussen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Michael A. Petersen' in GoogleThis author has not been identified. Look up 'Arne Skou' in Google

runs on WebDSL