Answering control flow questions about code

Authors:
Thomas D. LaToza
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 7
Cited 0

Visualizing interactions in program executions

ICSE '97 Proceedings of the 19th international conference on Software engineering
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
Manipulating and documenting software structures using SHriMP views

ICSM '95 Proceedings of the International Conference on Software Maintenance
Mining Version Histories to Guide Software Changes

Proceedings of the 26th International Conference on Software Engineering
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Questions programmers ask during software evolution tasks

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Empirical observations of developers editing code revealed that difficulties following control flow relationships led to poor changes, wasted time, and bugs. I am designing a static analysis to compute interprocedural path-sensitive control flow to help developers more quickly and accurately visually answer these common questions about code.