Automated goal operationalisation based on interpolation and {SAT} solving
| Title | Automated goal operationalisation based on interpolation and {SAT} solving |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Degiovanni, R, Alrajeh, D, Aguirre, N, Uchitel, S |
| Editor | Jalote, P, Briand, LC, van der Hoek, A |
| Conference Name | 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014 |
| Publisher | {ACM} |
| URL | http://doi.acm.org/10.1145/2568225.2568323 |
| DOI | 10.1145/2568225.2568323 |
Work Package:
WP5
