455 search results - page 5 / 91 » Directed test generation using symbolic grammars |
VLSID
2009
IEEE
14 years 9 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
ICASSP
2011
IEEE
13 years 7 days ago
2011
IEEE
This paper proposes a technique for improving tone correctness in Thai speech synthesis based on an average voice model trained with nonprofessional speech corpus. The proposed te...
FATES
2004
Springer
14 years 1 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
FMOODS
2006
13 years 10 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
IIE
2007
13 years 8 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...