Creating high quality software is costly and time consuming. Development organizations dedicate a great deal of time and resources to ensure high quality in their software before it reaches its customers. But recent advances in multi-core processors and parallel programming techniques make it harder to use traditional testing methodologies to find bugs. These advancements introduce a slew of new concurrency errors that are hard to find and potentially catastrophic when encountered by customers. Concurrency bugs can take weeks, months, even years to find using epxensive and time-consuming brute force techniques. Today, more than ever, software development necessitates a great emphasis on quality. At the same time, the software quality assurance process forces development managers to make tradeoffs between the costs of additional software testing and the expected cost of fixing bugs after they have reached the field.

Read this paper to learn more.