Multi-threaded code Unlike test inputs, thread-interleavings can normally not be controlled Thus, Pex can only explore single-threaded code Related approach to explore thread- schedules (but not input parameters) by controlling thread-scheduler: CHESS http://research.microsoft.com/CHESS http://research.microsoft.com/CHESS
{}