Automated goal operationalisation based on interpolation and {SAT} solving

TitleAutomated goal operationalisation based on interpolation and {SAT} solving
Publication TypeConference Paper
Year of Publication2014
AuthorsDegiovanni, R, Alrajeh, D, Aguirre, N, Uchitel, S
EditorJalote, P, Briand, LC, van der Hoek, A
Conference Name36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014
Publisher{ACM}
URLhttp://doi.acm.org/10.1145/2568225.2568323
DOI10.1145/2568225.2568323
Work Package: 
WP5