Test Selection for Data-Flow Reactive Systems Based on Observations | IEEE Conference Publication | IEEE Xplore