Automated goal operationalisation based on interpolation and SAT solving.

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastin Uchitel

Browse the full ICSE paper archive.