|
PLDog submit an article | search | rss feed | register | feedback | about |
| Yesterday, my program worked. Today, it does not. Why? | |||
|
|||
| Presenter: Shoaib Kamil Imagine some program and a number of changes. If none of these |
|||
| Andreas Zeller | |||
| Appears in ESEC / FSE 1999 | |||
| Meyerovich says: [ You must be logged in to view this comment. ] | |||
|
|||
| Role-Based Exploration of Object-Oriented Programs | |||
|
|||
| We present a new technique for helping developers understand heap properties of object-oriented programs and how the actions of the program affect these properties. Our dynamic analysis uses the aliasing properties of objects to synthesize a set of roles; each role represents an abstract object state intended to be of interest to the developer. We allow the developer to customize the analysis to explore the object states and behavior of the program at multiple different and potentially complementary levels of abstraction. The analysis uses roles as the basis for three abstractions: Together, these abstractions provide useful information |
|||
| Brian Demsky, Martin Rinard | |||
| Appears in ICSE 2002 | |||
|
|||