Software Reflexion Models: Bridging the Gap between Source and High-Level Models (1995)

by Gail C. Murphy, David Notkin, Kevin Sullivan
Venue:IEEE Transactions on Software Engineering