Automatic generation of software behavioral models (2008)

by Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè
Venue:In ICSE