DocumentCode
2004455
Title
Exploiting the synergy between automated-test-generation and programming-by-contract
Author
Barnett, Mike ; Ahndrich, Manuel F. ; De Halleux, Peli ; Logozzo, Francesco ; Tillmann, Nikolai
Author_Institution
Microsoft Res., Redmond, WA
fYear
2009
fDate
16-24 May 2009
Firstpage
401
Lastpage
402
Abstract
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.
Keywords
object-oriented programming; Pex; automated-test-generation; code contract; object-oriented .NET program; programming-by-contract; runtime checking; static checking; Automatic testing; Contracts; Documentation; Object detection; Performance analysis; Performance evaluation; Programming profession; Runtime; Specification languages; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Conference_Location
Vancouver, BC
Print_ISBN
978-1-4244-3495-4
Type
conf
DOI
10.1109/ICSE-COMPANION.2009.5071032
Filename
5071032
Link To Document