2026 search results - page 390 / 406 » Tools for Test Case Generation |
140
Voted
PACT
2005
Springer
15 years 7 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
113
Voted
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
107
Voted
ELPUB
1999
ACM
15 years 6 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
111
Voted
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
125
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
The problem of extracting a minimal number of data points from a large dataset, in order to generate a support vector machine (SVM) classifier, is formulated as a concave minimiza...