383 search results - page 36 / 77 » Testing Concurrent Systems: A Formal Approach |
158
click to vote
IAT
2007
IEEE
16 years 7 days ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
173
click to vote
SEW
2007
IEEE
16 years 5 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
152
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
140
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
138
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...