1860 search results - page 324 / 372 » Automatic Generation of Search Engines |
132
Voted
ISQED
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...
120
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
144
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
After a component based system is developed, it has to be deployed into a target environment. As the system becomes much larger and more complex and the environment becomes open an...
114
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
125
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...