Front to back, left to right:
Michal directs the Perpetual Testing project at Purdue. In Fall 1997 he moved from Purdue to University of Oregon, where the research project will continue.
Tony is building a customizing graph-editing interface in Java by extending the GEF graph editing framework and integrating it with layout and attribution services based on the the AT&T "dot" representation of directed graphs.
Jeydev is building reverse engineering tool components as graph attribution services, using standard flow analysis algorithms to propogate constraints in graph representations of systems and programs.
Christina is investigating residual testing, selective post-deployment monitoring of structural test coverage. She is building a test coverage tool for Java programs to evaluate the feasibility of the approach.
Yung-Pin is investigating two-phase testing, a combination of state-space analysis of multi-threaded systems with dynamic testing. He is building tools to reconcile "as-built" program structures with logical layered designs suitable for hierarchical analysis, as well as tools to automatically generate test oracles that check conformance of programs with verified designs.
Kevin is building infrastructure to integrate analysis and testing tools through the exchange of attributed graphs, using the AT&T "dot" format as a shared common representation.
Contact: Michal Young