Pex - Automated Whitebox Testing for .NET
: Research Problems
A collection of open questions related dynamic code analysis. Using Pex component architecture, you can provide your own 'solution' to each of those problems.
Dynamic Symbolic Execution
Which branch to flip?
Which path to the flipped constraint?
Representation of known program behavior
How to summarize method behavior?
Which method sequence to build?
Can we infer assertions?
Can we infer relevant mock objects?
Are there better reduction rules?
Can we split constraint system with respect to the targeted branch?
Plug in your own solver
Search Frontier Problem
Object Creation Problem
Method Sequence Generation Problem
Likely Assertion Inference Problem
Reduction Rule Problem
Contextful Reduction Rule Problem
Incremental Solver Problem
Constraint Solver Problem
(c) Microsoft Corporation. All rights reserved.
pex Wiki Documentation