169 search results - page 17 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
ICCAD
1999
IEEE
13 years 11 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...