3544 search results - page 458 / 709 » Software Testing |
114
Voted
NDSS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
121
Voted
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
126
Voted
MSS
1999
IEEE
15 years 5 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
107
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
124
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...