44 search results - page 1 / 9 » A General Model of Unit Testing Efficacy |
SQJ
2002
13 years 4 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
ISESE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
INFORMS
2010
13 years 1 months ago
2010
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
CONCURRENCY
2010
13 years 2 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...