4299 search results - page 366 / 860 » Concurrent Test Generation |
160
click to vote
ICTAI
2005
IEEE
16 years 11 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
170
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
182
click to vote
ERLANG
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
209
click to vote
METRICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
197
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...