8398 search results - page 321 / 1680 » Optimal Software Testing |
132
click to vote
CASCON
1997
15 years 8 months ago
1997
A class is widely considered the basic unit of testing in object-oriented software. Although there has been much recent research on class testing, little attention has been paid t...
233
click to vote
PTS
2010
15 years 4 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
167
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a new crossover operator for searching over discrete probability spaces. The design of the operator is considered in the light of recent theoretical insights i...
161
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
185
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...