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

  • Mike Barnett ,
  • Manuel Fahndrich ,
  • ,
  • Francesco Logozzo ,
  • Nikolai Tillmann

Proc. 31st International Conference on Software Engineering (ICSE'2009) |

Published by IEEE

Research Demonstration

Download BibTex

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.

© 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.http://www.ieee.org/