Peli at RiSE
- 56 Posts
- Recent
- Most Viewed
- Top Rated
-
10 minutes, 32 secondsFrancesco Logozzo: Analisi statica con i Code Contracts per .NETFeb 10, 2010 at 5:53 PM
0
Francesco Logozzo, ricercatore nel gruppo di ingegneria del software di Microsoft Research (RiSE) ci fara’ un demo dell’analizzatore statico incluso nei Code Contracts per .NET. L’analizzatore statico permette di verificare le asserzioni nel codice e provare l’assenza di errori comuni come… -
19 minutes, 32 secondsFrancesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i CodeContractsFeb 05, 2010 at 4:09 PM 3
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 . I CodeContracts permettono di specificare il comportamento del codice utilizzando il codice… -
5 minutes, 48 secondsNikolai Tillmann: Moles - Replace any .NET method with a delegateJan 29, 2010 at 1:00 PM 29
IMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at http://aka.ms/vs11-fakes. 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… -
21 minutes, 45 secondsThe Verification Corner: Loop InvariantsJan 12, 2010 at 12:03 AM 12
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… -
15 minutes, 29 secondsNikolaj Bjørner and Leonardo de Moura: The Z3 Constraint SolverDec 31, 2009 at 11:00 AM 11
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. Solving constraint systems is the root of of many software… -
19 minutes, 9 secondsFrancesco Logozzo - Static Checking with Code Contracts for .NETDec 22, 2009 at 11:47 AM 4
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… -
16 minutes, 33 secondsManuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NETDec 17, 2009 at 8:12 PM 3
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… -
12 minutes, 44 secondsJeffrey Van Gogh: Testing Rx with PexDec 15, 2009 at 7:16 AM 10
Ever wonder how the Reactive Extensions get 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.Jeffrey also… -
15 minutes, 3 secondsJuan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security VerificationDec 10, 2009 at 11:12 AM 3
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… -
11 minutes, 21 secondsSpecExplorer: Model-Based Testing made practicableOct 26, 2009 at 9:45 PM 6
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. Spec Explorer’s approach to model-based testing…
