Can confirm this is widely known within music pedagogy.

However, quite a few of my peers thought it was "stupid" and just practiced the same piece over and over, at the same tempo, without ever stopping and working on the hard parts.

After several years of music, there was a pronounced difference between those who practiced effectively and those who merely repeated their mistakes.

Perhaps a study like this could convince future students that it's worthwhile.