792 search results - page 86 / 159 » Static Analysis of XSLT Programs |
145
click to vote
AOSD
2011
ACM
14 years 8 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
125
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
128
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
103
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
127
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...