3456 search results - page 551 / 692 » Byte Code Engineering |
119
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
124
click to vote
IWPSE
2007
IEEE
15 years 9 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
117
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
124
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
130
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...