Generating testing and analysis tools with Aria (1996)

by P T Devanbu, D R Rosenblum, A L Wolf
Venue:ACM Transactions on Software Engineering and Methodology