43 search results - page 9 / 9 » Predictive Typestate Checking of Multithreaded Java Programs |
PLDI
2009
ACM
14 years 30 min ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
ICST
2009
IEEE
13 years 12 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...