Industrially validating longitudinal static and dynamic analyses


Reid Holmes, David Notkin, and Mark Hancock. In Proc. USER 2012 - workshop in conjuction with the ICSI 2012, pp. 43 -44, 2012.


Publication and Related Materials


pdf (331.39 KB)


Abstract

Software systems gradually evolve over time, becoming increasingly difficult to understand as new features are added and old defects are repaired. Some modifications are harder to understand than others; e.g., an explicit method call is usually easy to trace in the source code, while a reflective method call may perplex both developers and analysis tools. Our tool, the Inconsistency Inspector, collects static and dynamic call graphs of systems and composes them to help developers more systematically address the static and dynamic implications of a change to a system.


Bibtex entry

@INPROCEEDINGS { holmes:2012:venn,
    AUTHOR = { Reid Holmes and David Notkin and Mark Hancock },
    TITLE = { Industrially validating longitudinal static and dynamic analyses },
    BOOKTITLE = { Proc. USER 2012 - workshop in conjuction with the ICSI 2012 },
    YEAR = { 2012 },
    PAGES = { 43 -44 },
    DOI = { 10.1109/USER.2012.6226582 },
}