Los puntos clave no están disponibles para este artículo en este momento.
The idea is to identify security-critical software bugs so they can be fixed first.
Avgerinos et al. (Tue,) studied this question.