483 search results - page 54 / 97 » Experimental Software Engineering: A Report on the State of ... |
CGO
2009
IEEE
14 years 3 months ago
2009
IEEE
Debugging programs at the source level is essential in the software development cycle. With the growing importance of dynamic optimization, there is a clear need for debugging sup...
VAMOS
2007
Springer
14 years 2 months ago
2007
Springer
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...