4722 search results - page 426 / 945 » Encoding Program Executions |
170
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
137
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
141
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...
155
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
177
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...