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.

icse2009demo.pdf
PDF file

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

Publisher  IEEE
© 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/

Details

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