Exploiting the synergy between automated-test-generation and programming-by-contract

Abstract

This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs. 
DOI: 10.1109/ICSE-COMPANION.2009.5071032

Topics

4 Figures and Tables

Cite this paper

@article{Barnett2009ExploitingTS, title={Exploiting the synergy between automated-test-generation and programming-by-contract}, author={Michael Barnett and Manuel F{\"a}hndrich and Jonathan de Halleux and Francesco Logozzo and Nikolai Tillmann}, journal={2009 31st International Conference on Software Engineering - Companion Volume}, year={2009}, pages={401-402} }