PASTE
2005
ACM
14 years 6 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
14 years 6 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
14 years 6 months ago
2005
ACM
PASTE
2005
ACM
14 years 6 months ago
2005
ACM
PASTE
2005
ACM
14 years 6 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
14 years 6 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
14 years 6 months ago
2005
ACM
PASTE
2005
ACM
14 years 6 months ago
2005
ACM
PASTE
2005
ACM
14 years 6 months ago
2005
ACM
PASTE
2005
ACM
14 years 6 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...