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.

• Type: Conference
• Year: 2009
• Where: ICSE
• Authors: Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
• Keywords: ICSE 2009, Object-oriented .NET Programs, Runtime Checking, Software Engineering, Static Checking