Mining temporal specifications from object usage (2009)

by A Wasylkowski, A Zeller
Venue:In ASE