2527 search results - page 42 / 506 » A UML-Based Approach to System Testing |
146
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
144
Voted
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
155
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
122
Voted
JCP
2008
15 years 3 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
119
Voted
DFT
2003
IEEE
15 years 8 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...