1492 search results - page 25 / 299 » Testing Properties of Constraint-Graphs |
130
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
122
click to vote
CIARP
2008
Springer
15 years 5 months ago
2008
Springer
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
129
Voted
TAP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
129
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
128
click to vote
FORTE
2004
15 years 4 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...