A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. - Arnaud Gotlieb; Patrick Bernard (QSIC, 2006)