TY - CONF T1 - Model-Based Testing for the Cloud. JO - Practical Software Testing: Tool Automation and Human Factors UR - http://drops.dagstuhl.de/portals/10111/ PY - 2010/01/01 AU - Bertolino A AU - Grieskamp W AU - Hierons RM AU - Traon YL AU - Legeard B AU - Muccini H AU - Paradkar AM AU - Rosenblum DS AU - Tretmans J ED - Harman M ED - Muccini H ED - Schulte W ED - Xie T PB - Schloss Dagstuhl - Leibniz-Zentrum f眉r Informatik, Germany VL - 10111 Y2 - 2025/06/21 ER -