3547 search results - page 398 / 710 » Pseudo-Exhaustive Testing for Software |
228
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
177
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
With the proliferation of Grid computing, a large number of computational resources are available for solving complex scientific and engineering problems. Nevertheless, it is non-...
173
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
170
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents a comparison of performance of various triplestore technologies currently in either production release or beta test. Our comparison of triple-store te...
156
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
In wireless networks, as in many areas of engineering, simulation has been the de-facto standard for testing, dimensioning and analyzing mobile protocols. Emulation, which present...