Automatically generating precise Oracles from structured natural language specifications.

Manish Motwani, Yuriy Brun

Browse the full ICSE paper archive.