2026 search results - page 76 / 406 » Tools for Test Case Generation |
102
click to vote
SEE
1997
Springer
15 years 4 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
128
click to vote
ISQED
2002
IEEE
15 years 5 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
149
Voted
GLVLSI
2009
IEEE
14 years 10 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
108
Voted
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper develops an improved approach for hierarchical functional test generation for complex chips. In order to deal with the increasing complexity of functional test generati...
105
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...