New Results - Interaction between test, control and verification