50 search results - page 3 / 10 » Debugging and Testing Optimizers through Comparison Checking |
AADEBUG
2005
Springer
13 years 11 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
IOLTS
2008
IEEE
14 years 13 days ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
VTS
2003
IEEE
13 years 11 months ago
2003
IEEE
1 We propose a test resource partitioning and optimization technique for core-based designs. Our technique includes test set selection and test resource floor-planning with the ai...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...