5855 search results - page 341 / 1171 » Test generation and minimization with |
198
click to vote
PTS
2008
15 years 8 months ago
2008
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
141
click to vote
JSS
2006
15 years 6 months ago
2006
One of the major problems within the software testing area is how to get a suitable set of cases to test a software system. A good set of test cases should assure maximum effectiv...
182
Voted
TVLSI
2008
15 years 6 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
207
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
144
click to vote
VTS
2005
IEEE
16 years 10 days ago
2005
IEEE
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...