Contract-based Testing

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Contract-based Testing. In B. K. Aichernig and T. Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science, pages 34-48. Springer-Verlag, 2003.