561 search results - page 54 / 113 » Alias Analysis of Executable Code |
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallel...
NDSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Cross-site scripting (XSS) is an attack against web applications in which scripting code is injected into the output of an application that is then sent to a user’s web browser....