72 search results - page 7 / 15 » Dynamic detection of atomic-set-serializability violations |
SPIN
2004
Springer
14 years 20 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
ACOM
2006
Springer
14 years 1 months ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
PLDI
2010
ACM
14 years 12 days ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...