Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications | IEEE Conference Publication | IEEE Xplore