Program Behavior Discovery and Verification: A Graph Grammar Approach
Recovering software behaviors from execution traces is useful in program comprehension and maintenance. Multiple executions upon different test inputs can help to locate program behaviors related to a particular use case, i.e. a specific functionality. An abstraction and visualization environment <i>Abstracer</i> was developed, and experiments have been performed on an open-source software, JHotDraw.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=1529400.