5855 search results - page 248 / 1171 » Test generation and minimization with |
164
click to vote
AE
2007
Springer
16 years 25 days ago
2007
Springer
We present GP-HH, a framework for evolving local-search 3-SAT heuristics based on GP. The aim is to obtain “disposable” heuristics which are evolved and used for a specific su...
173
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We describe a formalism and algorithms for game-tree search in partially-observable Euclidean space, and implementation and tests in a scenario where a multi-agent team, called tr...
151
click to vote
EUROPAR
2004
Springer
16 years 22 hour ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
240
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
167
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...