Effective correspondence tests