Sciweavers

ICSE
2009
IEEE-ACM

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

13 years 10 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)