3 ms·

Pex is based on the Daikon dynamic invariant. This document explains some results and examples in certain languages. http://groups.csail.mit.edu/pag/daikon/dow

• rainforest 13y ago
  Is it? I was under the impression it just uses symbolic execution rather than invariant detection.
  • grdvnl 13y ago
    Your are right. I mixed up dynamic symbolic execution with invariant detection. I know there is something called DySy which does do invariant detection using dynamic symbolic execution.
• danbruc 13y ago
  Pex is based on the Daikon dynamic invariant. That's not true.