10715 search results - page 256 / 2143 » Proofs from Tests |
197
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
151
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
146
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
160
Voted
MTDT
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract: The high complexity of the faulty behavior observed in DRAMs is caused primarily by the presence of internal floating nodes in defective DRAMs. This paper describes a ne...
164
click to vote
DSRT
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...