10715 search results - page 109 / 2143 » From Tests to Proofs |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
MTV
2007
IEEE
14 years 3 months ago
2007
IEEE
Test vector ordering is recognized as a simple and non-intrusive approach to assist test power reduction. Simulation based test vector ordering approach to minimize circuit transit...
ASE
2004
13 years 9 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
ATS
2010
IEEE
13 years 7 months ago
2010
IEEE
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...