pex - ペックスの仕組み

Question

低レベルでは、Pex はどのように機能しますか?

ありがとう

Answer 1

Nikolai Tillmann は、Pex フォーラムで同じ質問に答えました: http://social.msdn.microsoft.com/Forums/en-US/pex/thread/71c90936-b3af-4d90-af87-f6ecba797cb7

Answer 2

Pex がどのように機能するかを説明しているチャンネル 9のビデオはたくさんありますが、まずこれを見てみましょう。The Verification Cornerのエピソードの多くは、明示されていなくても、概念を超えています。