6800 search results - page 243 / 1360 » Testing with Functions as Specifications |
142
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
206
click to vote
ASWEC
2010
IEEE
15 years 5 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
133
click to vote
GLVLSI
2006
IEEE
15 years 11 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
131
Voted
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing of VLSI circuits can cause generation of excessive heat which can damage the chips under test. In the random testing environment, high-performance CMOS circuits consume sig...
122
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...