8 search results - page 1 / 2 » sigsoft 2002 |
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
SIGSOFT
2002
ACM
14 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...