1326 search results - page 211 / 266 » Semantic Coherence in Software Engineering |
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
109
click to vote
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
111
click to vote
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
ISSTA
2010
ACM
14 years 10 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...