77 search results - page 6 / 16 » Generating Transition Probabilities for Automatic Model-Base... |
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
110
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
F0 is an acoustic feature that varies largely from one speaker to another. F0 is characterized by a discontinuity in the transition between voiced and unvoiced sounds that present...
SE
2007
15 years 1 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
104
Voted
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...