383 search results - page 56 / 77 » Testing Concurrent Systems: A Formal Approach |
227
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
130
Voted
SEKE
2005
Springer
15 years 8 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...
142
click to vote
DLOG
2003
15 years 4 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
135
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
152
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...