684 search results - page 25 / 137 » Improving software quality using statistical testing techniq... |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
MIAR
2006
IEEE
14 years 1 months ago
2006
IEEE
Statistical shape modeling is widely used for medical image segmentation and interpretation. The main problem in building a shape model is the construction of a pointwise correspon...
PAMI
2007
13 years 7 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...