Fault coverage of Constrained Random Test Selection for access control: A formal analysis

Ammar Masood, Arif Ghafoor, Aditya P. Mathur. Fault coverage of Constrained Random Test Selection for access control: A formal analysis. Journal of Systems and Software, 83(12):2607-2617, 2010. [doi]

Abstract

Abstract is missing.