3316 search results - page 352 / 664 » Mining Software Engineering Data |
135
click to vote
ICFEM
2004
Springer
15 years 8 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...
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
116
click to vote
MSR
2006
ACM
15 years 9 months ago
2006
ACM
The development of libre (free/open source) software is usually performed by geographically distributed teams. Participation in most cases is voluntary, sometimes sporadic, and of...
137
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
105
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...