RiSE

72 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Mike Barnett - Getting started with Code Contracts in Visual Studio 2008
    23 minutes, 18 seconds
  • Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE
    10 minutes, 44 seconds
  • ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
    17 minutes, 49 seconds
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds
  • Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
    1 hour, 41 minutes, 48 seconds
  • Herman Venter - The Common Compiler Infrastruture goes Open Source
    3 minutes, 32 seconds
  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3
    1 hour, 2 minutes, 17 seconds
  • Inside SPUR - A Trace-Based JIT Compiler for CIL
    50 minutes, 30 seconds
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
  • SpecExplorer: Model-Based Testing made practicable
    11 minutes, 21 seconds