Using Reverse-Engineered Test-Based Models to Generate More Tests: Where is the Sense in That? | IEEE Conference Publication | IEEE Xplore