4079 search results - page 453 / 816 » Differential Testing for Software |
159
click to vote
FSTTCS
2009
Springer
16 years 21 days ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
212
click to vote
ACSAC
2007
IEEE
16 years 15 days 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...
157
click to vote
ESCIENCE
2007
IEEE
16 years 14 days 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-...
161
click to vote
WCRE
2007
IEEE
16 years 12 days 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...
149
click to vote
OTM
2007
Springer
16 years 8 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...