287 search results - page 4 / 58 » A novel improvement technique for high-level test synthesis |
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
IFIP12
2004
13 years 6 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
HUC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
Varying channel conditions present a difficult problem for many speech technologies such as language identification (LID). Channel compensation techniques have been shown to sig...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
We introduce a novel behavioral test synthesis methodology that attempts to increase module reachability, driven by powerful global design path analysis. Based on the notion of tr...