Francesco Logozzo, ricercatore nel gruppo di ingegneria del software (RiSE) a Microsoft Research, offre una breve introduzione alla programmazione per contratti ed al progetto CodeContracts per .NET ...

[more ]

Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc...) even when those dependencies are hard-coded through static method or sealed types. In this demo, Nikolai goes through the famous Y2K bug and how to test it...[more ]

In this episode of The Verification Corner, Rustan Leino talks about Loop Invariants.  He gives a brief summary of the theoretical foundations and shows how a program can sometimes be systematically constructed from its specifications.  Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research....[more ]

Nikolaj Bjørner and Leonardo de Moura are Researchers in the Research in Software Engineering (RiSE) team at Microsoft Research. They are talking and demoing Z3, a high-performance SMT constraint solver. In this video, you'll get a 10000 feet overview of Z3 with a demo on how to use it throught its C# API.[more ]

Francesco Logozzo, a researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, gives a demo of the static checker that comes with Code Contracts for .NET tools. The static checker allows you to verify that all the assertions in your code hold, without running the code![more ]

Manuel Fähndrich et Peli de Halleux, deux membres du groupe RiSE à Microsoft Research, nous font une petite demo de Code Contracts et Pex. Les Code Contracts peuvent être utilise pour specifier les pré-conditions et post-conditions de methodes. Ils peuvent aussi être compilé en assertions a l'exécution. Pex peut dès lors analyser et tenter de trouver des contres examples pour les invalider. Ceci est notre première video en francais, donc attendez-vous à avoir quelques termes anglais dans la conversation...[more ]

Ever wonder how the Reactive Extensions gets tested? Jeffrey Van Gogh gives a glimpse at how they do it. The Rx developers have been using Pex and writing parameterized unit tests.  In this video, we look at Enumerable.Zip and how we can use Pex to help testing it.[more ]

Juan Chen and Nikhil Swamy, two researchers at the Research in Software Engineering group, present FINE, a new programming language for .NET. Software systems are governed by increasingly complex security policies. Ensuring that a system properly enforces its policy is hard. FINE is a new programming language (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced...[more ]

Keith Stobie, Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models...[more ]

Emre Kiciman and Ben Livshits present the ideas behind Doloto. Doloto is a DevLabs project that analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications...[more ]