Testing Reactive Systems with Data by