1992 search results - page 59 / 399 » Model Based Testing with Labelled Transition Systems |
127
Voted
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
142
click to vote
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...
126
click to vote
PTS
2004
15 years 3 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
149
click to vote
SEKE
2010
Springer
15 years 24 days ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
122
Voted
HIPEAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...