Ben Livshits and Emre Kiciman - AjaxView, Performance Profiling of AJAX web sites

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.
cool but isnt this pex? maybe sage is the new name for pex?
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
i see, thanks
Makes you wonder just how many advances we are going to get because of symbolic anylsis of constraints.