639 search results - page 15 / 128 » Integer Programming Models for Optimization Problems in Test... |
148
click to vote
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
118
click to vote
ISQED
2002
IEEE
15 years 4 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...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
175
click to vote
CP
2009
Springer
16 years 11 days ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
108
click to vote
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...