A paper was accepted by ESEC/FSE’23.