481 search results - page 41 / 97 » Differential symbolic execution |
101
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
— In this paper the use of electronically steerable passive array radiator (ESPAR) antennas is introduced for achieving increased spectral efficiency characteristics in multiple-...
124
click to vote
JOCN
2011
15 years 1 months ago
2011
■ In Stroop-like tasks, conflict effects in behavioral measures and ACC activity are smaller on trials following an incongruent trial than following a congruent one. Researchers...
176
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
169
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
182
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...