mG-Pass@k: the mean generalized pass metric, 2 ∫_{0.5}^{1} G-Pass@k_τ dτ.
The integral over τ ∈ [0.5, 1.0] collapses to the closed form
(2/k) · Σ_{j=m+1}^{k} (j - m) · P(X = j), where m = ceil(k/2) is the
majority threshold and X ~ Hypergeometric(N, ν, k).
mG-Pass@k: the mean generalized pass metric,
2 ∫_{0.5}^{1} G-Pass@k_τ dτ.The integral over
τ ∈ [0.5, 1.0]collapses to the closed form(2/k) · Σ_{j=m+1}^{k} (j - m) · P(X = j), wherem = ceil(k/2)is the majority threshold andX ~ Hypergeometric(N, ν, k).