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
> Publications > Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract