1799 search results - page 228 / 360 » The Logic of Correctness in Software Engineering |
182
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
178
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
215
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
173
click to vote
WCRE
2006
IEEE
16 years 16 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
180
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...