8
A
Antwort
3
Es gibt durchaus ein paar Channel 9 Videos, die erklären, wie Pex funktioniert, aber ich einen Blick auf this one ersten nehmen würde. Viele der Episoden von The Verification Corner gehen auch über die Konzepte hinaus, auch wenn sie dies nicht explizit sagen.
5
Nikolai Tillmann beantwortet die gleiche Frage an den Pex-Foren: http://social.msdn.microsoft.com/Forums/en-US/pex/thread/71c90936-b3af-4d90-af87-f6ecba797cb7
Hallo, Vielen Dank für die Links. Ich lese irgendwo die clr Profiling API. Ich versuche, mehr darüber herauszufinden. – dotnetdev