lmerTest package provides an
anova() function for linear mixed models with optionally Satterthwaite's (default) or Kenward-Roger's approximation of the degrees of freedom (df). What is the difference between these two approaches? When to choose which?
I'm also interested in figuring out what the difference might be. The best I can offer you, for now, is that this blog post suggests that the Kenward-Roger approximation is slightly, but probably not significantly, more conservative than the Satterthwaite approximation. The author also notes that they are both more conservative than the normal approximation, but again, not by much if the sample size is high enough. I'm not sure whether or not this was a generalizable conclusion of the author's or not though.
Edit: I will add that the article "A comparison of denominator degrees of freedom approximation methods in the unbalanced two-way factorial mixed model" by K.B. Gregory seems to indicate that neither method is typically a better method, although there are apparently occasions where the Kenward-Roger approximation loses some level of conservativeness.