160 search results - page 7 / 32 » Test Case Design for the Validation of Component-Based Embed... |
106
click to vote
SOQUA
2004
15 years 4 months ago
2004
: The difficulties to assess reliability of systems that use COTS components are sometimes compounded by the inaccessibility of some COTS codes. This paper develops an approach of ...
101
Voted
ITC
1998
IEEE
15 years 7 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...
125
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...
132
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
116
click to vote
ECRTS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...