243 search results - page 49 / 49 » Error Detection Using Dynamic Dataflow Verification |
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— This paper puts forward an approach for a mobile robot to recognize the human’s manipulative actions from different single camera views. While most of the related work in act...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...