Peli at RiSE

News about the Research in Software Engineering area (RiSE)
  • Francesco Logozzo: Analisi statica con i Code Contracts per .NET
    10 minutes, 32 seconds
  • Francesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i CodeContracts
    19 minutes, 32 seconds
  • Nikolai Tillmann: Moles - Replace any .NET method with a delegate
    5 minutes, 48 seconds
  • The Verification Corner: Loop Invariants
    21 minutes, 45 seconds
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • Francesco Logozzo - Static Checking with Code Contracts for .NET
    19 minutes, 9 seconds
  • Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET
    16 minutes, 33 seconds
  • Jeffrey Van Gogh: Testing Rx with Pex
    12 minutes, 44 seconds
  • Juan Chen and Nikhil Swamy: FINE, Functional Programming for End-to-End Security Verification
    15 minutes, 3 seconds
  • SpecExplorer: Model-Based Testing made practicable
    11 minutes, 21 seconds