3456 search results - page 574 / 692 » Byte Code Engineering |
116
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
115
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
111
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
151
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
126
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Online optimization allows the continuous restructuring and adaptation of an executing application using live information about its execution environment. The further ad...