Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract

Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann

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.

Details

Publication typeInproceedings
Published inProc. 31st International Conference on Software Engineering (ICSE'2009)
PublisherIEEE

Newer versions

Manuel Fahndrich and Francesco Logozzo. Static contract checking with Abstract Interpretation, Springer Verlag, October 2010.

> Publications > Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract