CALENDINO ROB

Black box testing optimization using information from white box testing