904 search results - page 82 / 181 » The State Problem for Evolutionary Testing |
120
Voted
CN
2004
15 years 2 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
135
Voted
WCE
2007
15 years 3 months ago
2007
- Machine vision has evolved to become a mainstream automation tool, enabling computers to replace human vision in high speed and precision manufacturing techniques. Images usually...
146
Voted
GLOBECOM
2010
IEEE
15 years 18 days ago
2010
IEEE
Bandwidth allocation for different service classes in heterogeneous wireless networks is an important issue for service provider in terms of balancing service quality and profit. I...
107
click to vote
DNA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
161
Voted
IFIP
2001
Springer
15 years 7 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...