I remember Spec# - and Pex. Did Pex feed into this work at all, I recall it was able to explore execution paths through code?

I’ll keep an eye on how this will integrate with PBT, that’s an interest of mine.