Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Chatterjee, K., de Alfaro, L., & Majumdar, R. (2013). The Complexity of Coverage. International Journal of Foundations of Computer Science, 24(2), 165-185. doi:10.1142/S0129054113400066.