Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract

Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann
May 2009

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

Type: Inproceedings
URL: http://www.cs.uoregon.edu/events/icse2009/demos/#Exploiting%20the%20Synergy%20between%20Automated-Test-Generation%20and%20Programming-by-Contract%20(Presentation)