PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...