1. In a computerized environment including a multithreaded application program, a prioritization module, and a model checker module, wherein a plurality of thread schedules include a plurality of threads that are configured to switch execution contexts, a method of prioritizing testing of threads in the multithreaded application with context switch bounding techniques, comprising the acts of: identifying a context switch value for each of a plurality of thread schedules in a multithreaded application, wherein the plurality of thread schedules include at least some threads configured to execute concurrently; identifying a context switch maximum value; determining which of the identified context switch values corresponding to each of the plurality of thread schedules is within the identified context switch maximum value; and creating a work queue comprising only those thread schedules corresponding to the determined context switch values within the context switch maximum value.