Güldali, Barış: Integrating contract-based testing into model-driven software development. 2015
Content
Introduction
I Foundations and Related Work
Fundamentals of Model-based Testing
Software Development Methodology
Model-based Software Development
Testing in Development Process
Model-based Testing
Contract-based Testing
Visual Contracts
Summary of Part I
II Approach
General Approach
Unit Testing
Integration Testing
System Testing
Tool Support and Evaluation
III Closure