4716 search results - page 603 / 944 » Iterative-free program analysis |
121
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
173
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
161
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
198
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
159
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...