The 'Jacobson's refinement' of the Miller-Rabin test is used to detect:
Carmichael numbers more effectively
Small factors
Even numbers
Quantum states