861 search results - page 103 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
142
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
150
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
125
Voted
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
105
click to vote
DOCENG
2009
ACM
15 years 9 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
162
click to vote
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...