481 search results - page 41 / 97 » Differential symbolic execution |
50
Voted
ICC
2007
IEEE
15 years 6 months 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-...
73
Voted
JOCN
2011
14 years 7 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...
110
Voted
SIGSOFT
2009
ACM
16 years 1 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...
108
Voted
KBSE
2010
IEEE
14 years 11 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...
127
click to vote
CCS
2006
ACM
15 years 4 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,...