31. ICSE 2009 / AST 2009: Vancouver, BC, Canada

Model-Based Testing 1

Test Case/Suite Evaluation

Model-Based Testing 2

Structural Testing

Testing Web Services

System-Level Testing

Case Studies