1722 search results - page 170 / 345 » Generating Tests from Counterexamples |
PKDD
2004
Springer
14 years 2 months ago
2004
Springer
The problem of discovering frequent subgraphs of graph data can be solved by constructing a candidate set of subgraphs first, and then, identifying within this candidate set those...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
POPL
1994
ACM
14 years 1 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
CRV
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...