11172 search results - page 131 / 2235 » Testing Physical Systems |
189
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
158
click to vote
DFT
2006
IEEE
16 years 12 days ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
154
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
185
click to vote
TAICPART
2010
IEEE
15 years 4 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
142
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...