Exploiting the synergy between automated-test-generation and programming-by-contract

Mike Barnett,Manuel Fähndrich,Peli De Halleux,Francesco Logozzo,Nikolai Tillmann,de Halleux, P.

Vancouver, BC（2009）

引用 36|浏览70

暂无评分

摘要

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.

查看译文

关键词

object-oriented programming,Pex,automated-test-generation,code contract,object-oriented .NET program,programming-by-contract,runtime checking,static checking

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要