1620 search results - page 71 / 324 » Testing Polymorphic Properties |
127
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
132
Voted
CSDA
2006
15 years 2 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
134
Voted
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
112
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
122
Voted
GLVLSI
2008
IEEE
15 years 9 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...