Discovering relational specifications. - Calvin Smith; Gabriel Ferns; Aws Albarghouthi (ESEC/SIGSOFT FSE, 2017)