TY - CONF T1 - Model-Based Testing for the Cloud JO - Dagstuhl Seminar Proceedings PY - 2010/01/01 AU - Bertolino A AU - Grieskamp W AU - Hierons RM AU - Le Traon Y AU - Legeard B AU - Muccini H AU - Paradkar A AU - Rosenblum DS AU - Tretmans J ED - VL - 10111 Y2 - 2025/11/05 ER -