400 search results - page 18 / 80 » An Extensible Meta-Model for Program Analysis |
74
Voted
EWC
2006
14 years 11 months ago
2006
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
112
click to vote
SIGPLAN
2002
14 years 11 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
122
click to vote
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
97
Voted
SAC
2005
ACM
15 years 5 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
120
click to vote
JOT
2007
14 years 11 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...