3889 search results - page 187 / 778 » The Use of Program Dependence Graphs in Software Engineering |
121
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
127
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
137
click to vote
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
145
click to vote
VL
2008
IEEE
15 years 10 months ago
2008
IEEE
Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a varia...
129
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...