Automated goal operationalisation based on interpolation and sat solving (2014)

by R Degiovanni, D Alrajehy, N Aguirre, S Uchitely
Venue:In Proc. of ICSE’14