Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites
Play Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGE
Description
Patrice Godefroid gives an overview of
Automated Whitebox Fuzz Testing, a powerful testing technique applied at Microsoft through a tool called SAGE. Listen how he is working with the SAGE team to 'eradicate all buffer overrun bugs' in Windows...
- Read more in this paper or this slide deck.
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
Download
Right click to download this episode
- High Quality WMV (190.9 MB)
- MP3 (4.9 MB)
- Low Quality MP4 (60.7 MB)
- Mid Quality WMV (86.9 MB)
More episodes in this series
Ethan Jackson - BAM - Cloud Computing with Models
Related episodes
How to Shop for Free Online
David Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation…
Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
Jeffrey Van Gogh: Testing Rx with Pex
Sebastian Burckhardt - Data Race Detection with CHESS
CHESS: An Automated Concurrency Testing Tool
Drawbridge: A new form of virtualization for application sandboxing
Guido de Caso - Distributed Knowledge Authorization Language
ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency…
The Discussion
-
aL_ cool
but isnt this pex? maybe sage is the new name for pex? -
patriceg SAGE and Pex both use some of the same techniques (like DART), but SAGE is for security testing of unmanaged code (x86 binary analysis) while Pex is for unit testing of managed code (MSIL .NET binaries).
For more information on how they differ, please see https://research.microsoft.com/en-us/um/people/pg/public_psfiles/ieeesw2008.pdf
Patrice
-
aL_ i see, thanks
-
cdwatkins Makes you wonder just how many advances we are going to get because of symbolic anylsis of constraints.