1629 search results - page 312 / 326 » Infeasible Code Detection |
153
Voted
PLDI
2005
ACM
15 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...
156
click to vote
CEAS
2005
Springer
15 years 11 months ago
2005
Springer
Greylisting temporarily rejects mail from unknown sources on the theory that real mailers will retry while spamware won’t. I outline a taxonomy of greylisters and report some st...
135
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
160
click to vote
ISLPED
2004
ACM
15 years 11 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
161
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper provides a new fully automatic framework to analyze facial action units, the fundamental building blocks of facial expression enumerated in Paul Ekman’s Facial Action...