Integrating contract-based testing into model-driven software development

Baris Güldali. Integrating contract-based testing into model-driven software development. PhD thesis, University of Paderborn, 2015. [doi]

Abstract

Abstract is missing.