10715 search results - page 160 / 2143 » Proofs from Tests |
77
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Many systems are based on embedded microcontrollers. Applications demand for production and Power-On testing, including memory testing. Because low-end microcontrollers may not ...
131
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
116
Voted
ISCAS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Linearity and spectral performance test contributes most cost of ADC test. This paper presents a new method for testing an ADC’s SNR from its linearity test data. The method d...
108
Voted
BMCBI
2008
15 years 24 days ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...
PTS
2003
15 years 2 months ago
2003
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...