729 search results - page 94 / 146 » Using Metrics to Improve Software Testing |
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
SIGGRAPH
1995
ACM
14 years 15 days ago
1995
ACM
We present a method for searching in an image database using a query image that is similar to the intended target. The query image may be a hand-drawn sketch or a (potentially low...
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
SPDP
1991
IEEE
14 years 14 days ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...