2673 search results - page 111 / 535 » Guided Static Analysis |
120
click to vote
PEPM
1994
ACM
15 years 8 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
112
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
128
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
144
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
197
click to vote
GLDV
2001
15 years 5 months ago
2001
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...