Automatically Generating Precise Oracles from Structured Natural Language Specifications | IEEE Conference Publication | IEEE Xplore