Automated goal operationalisation based on interpolation and SAT solving. Degiovanni, R.; Alrajeh, D.; Aguirre, N.; and Uchitel, S. In Jalote, P.; Briand, L. C.; and van der Hoek, A., editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014, pages 129–139, 2014. ACM.
Automated goal operationalisation based on interpolation and SAT solving [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/icse/DegiovanniAAU14,
	Author = {Renzo Degiovanni and Dalal Alrajeh and Nazareno Aguirre and Sebasti{\'{a}}n Uchitel},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/conf/icse/DegiovanniAAU14.bib},
	Booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},
	Doi = {10.1145/2568225.2568323},
	Editor = {Pankaj Jalote and Lionel C. Briand and Andr{\'{e}} van der Hoek},
	Pages = {129--139},
	Publisher = {{ACM}},
	Timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
	Title = {Automated goal operationalisation based on interpolation and {SAT} solving},
	Url = {https://doi.org/10.1145/2568225.2568323},
	Year = {2014},
	Bdsk-Url-1 = {https://doi.org/10.1145/2568225.2568323},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/2568225.2568323}}
Downloads: 0