Buscar en Google "teoría de prueba de software" solo parece dar teorías en el sentido blando de la palabra; No he podido encontrar nada que clasifique como teoría en el sentido matemático, teórico de la información o en algún otro campo científico. Lo que estoy buscando es algo que formalice qué...