1722 search results - page 79 / 345 » Generating Tests from Counterexamples |
162
click to vote
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
116
click to vote
CEC
2010
IEEE
14 years 12 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
138
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
121
click to vote
DBSEC
2008
15 years 4 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
115
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...