What (the Hell) is Wrong? An Approach to Semi-automatic Construction of Self Correction Tests