3 search results - page 1 / 1 » Test Plan Generation for Concurrent Real-Time Systems Based ... |
113
Voted
PTS
2008
15 years 9 days ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
AAAI
1998
15 years 6 days ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
93
Voted
SEKE
2005
Springer
15 years 4 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...