1606 search results - page 246 / 322 » XML-based programming language modeling: An approach to soft... |
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
FOAL
2009
ACM
14 years 2 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
SCAM
2003
IEEE
14 years 1 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...