Arnaud Gotlieb, Patrick Bernard. A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 329-336, IEEE Computer Society, 2006. [doi]
Abstract is missing.