285 search results - page 16 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
117
click to vote
CCS
2006
ACM
15 years 3 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,...
SEUS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...