Sciweavers

ICSE
2009
IEEE-ACM

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

14 years 7 months ago
Exploiting the synergy between automated-test-generation and programming-by-contract
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.
Michael Barnett, Manuel Fähndrich, Peli de Ha
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where ICSE
Authors Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
Comments (0)