4079 search results - page 360 / 816 » Differential Testing for Software |
201
click to vote
CGVR
2006
15 years 6 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
123
click to vote
IADIS
2003
15 years 6 months ago
2003
With the advent and growth of the Web, hypermedia information systems have propagated within and beyond organizations. Much concern has been expressed about the quality of hyperme...
137
click to vote
JAR
2006
15 years 4 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
147
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
148
Voted
BELL
2000
15 years 4 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...