5159 search results - page 333 / 1032 » Structural Testing of Executables |
191
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
217
click to vote
NPIV
1999
ACM
15 years 11 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
203
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
227
click to vote
CCS
2006
ACM
15 years 11 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,...
336
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Text documents often embed data that is structured in nature, and we can expose this structured data using information extraction technology. By processing a text database with inf...