Charlas con Peli de Halleux (Microsoft Research)


Compartir
Charlista: 
Pelli de Halleux
Fecha: 
21 Septiembre, 2011 - 10:30
Sala: 
sala de reuniones, Tercer piso
Organización: 
DCC

1. “Pex – Automated Whitebox Test Generation for .NET”

Pex is an automated test generation tool that uses dynamic symbolic execution and constraint solving to generate interesting test cases. In this session, you will learn about dynamic symbolic execution and test case generation in general. This is a hands on session, bring a laptop with an internet connection.
http://pex4fun.com

2. “Code Contracts”

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. This is a hands on session, bring a laptop with an internet connection.
http://research.microsoft.com/en-us/projects/contracts/
http://pex4fun.com/absverified

--
Comunicaciones DCC