@inproceedings{inproceedings, title  = {{Model-Based Testing for the Cloud}},

 url = {{}},

 year = {{2010}},

 month = {{1}},

 author = {{Bertolino A and Grieskamp W and Hierons RM and Le Traon Y and Legeard B and Muccini H and Paradkar A and Rosenblum DS and Tretmans J}},

 volume = {{10111}},

 journal = {{Dagstuhl Seminar Proceedings}},

 note = {{Accessed on 2025/11/05}}}