1186 search results - page 183 / 238 » On Designing an Experiment to Evaluate a Reverse Engineering... |
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
AC
1999
Springer
13 years 10 months ago
1999
Springer
Many types of applications can benefit from flexible and open middleware. CORBA is an emerging middleware standard for Object Request Brokers (ORBs) that simplifies the developmen...
WCET
2010
13 years 8 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
DAC
2009
ACM
14 years 11 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...