Yao Qi, Raja Das, et al.
ISSTA 2009
Through a counterexample, Redinbo’s upper bound on the ratio of the probability of a group and that of its coset is shown to be incorrect. The given example is also shown to provide a new upper bound. © 1981 IEEE
Yao Qi, Raja Das, et al.
ISSTA 2009
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Rolf Clauberg
IBM J. Res. Dev
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014