Control and selection techniques for the automated testing of reactive systems door