45 search results - page 2 / 9 » Test Automation Meets Static Analysis |
ICIP
2004
IEEE
14 years 6 months ago
2004
IEEE
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
PLDI
2005
ACM
13 years 10 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...
NDSS
2008
IEEE
13 years 10 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
MSR
2005
ACM
13 years 10 months ago
2005
ACM
Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...