Verificaiton-Aided Regression Testing