Вкратце суть. В байт код ваших классов будут вноситься изменения, например замена + на - или < на > . И после этого будут выполнены тесты. Если ошибок не было, значит тесты не покрывают этот код.