1422 search results - page 22 / 285 » Test Generation Algorithms Based on Preorder Relations |
INFORMATICALT
2000
14 years 9 months ago
2000
In this paper we present an algorithm for generating quadratic assignment problem (QAP) instances with known provably optimal solution. The flow matrix of such instances is constru...
111
Voted
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Social decision support systems are able to aggregate the local perspectives of a diverse group of individuals into a global social decision. This paper presents a mult...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
We consider the following scenario for a mapping system: given a source schema, a target schema, and a set of value correspondences between these two schemas, generate an executab...
PTS
2010
14 years 8 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
AAAI
1994
14 years 11 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...