661 search results - page 95 / 133 » What Can We Expect from Program Verification |
SDM
2008
SIAM
13 years 9 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...