Automated goal operationalisation based on interpolation and SAT solving. Degiovanni, R., Alrajeh, D., Aguirre, N., & Uchitel, S. In Jalote, P., Briand, L. C., & 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]](https://bibbase.org/img/filetypes/link.svg "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
{"_id":"S7pxfFaDppRrs36sS","bibbaseid":"degiovanni-alrajeh-aguirre-uchitel-automatedgoaloperationalisationbasedoninterpolationandsatsolving-2014","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Degiovanni, R.","Alrajeh, D.","Aguirre, N.","Uchitel, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Renzo"],"propositions":[],"lastnames":["Degiovanni"],"suffixes":[]},{"firstnames":["Dalal"],"propositions":[],"lastnames":["Alrajeh"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Sebastián"],"propositions":[],"lastnames":["Uchitel"],"suffixes":[]}],"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":[{"firstnames":["Pankaj"],"propositions":[],"lastnames":["Jalote"],"suffixes":[]},{"firstnames":["Lionel","C."],"propositions":[],"lastnames":["Briand"],"suffixes":[]},{"firstnames":["André"],"propositions":["van","der"],"lastnames":["Hoek"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/icse/DegiovanniAAU14,\n\tauthor = {Renzo Degiovanni and Dalal Alrajeh and Nazareno Aguirre and Sebasti{\\'{a}}n Uchitel},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icse/DegiovanniAAU14.bib},\n\tbooktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014},\n\tdoi = {10.1145/2568225.2568323},\n\teditor = {Pankaj Jalote and Lionel C. Briand and Andr{\\'{e}} van der Hoek},\n\tpages = {129--139},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Automated goal operationalisation based on interpolation and {SAT} solving},\n\turl = {https://doi.org/10.1145/2568225.2568323},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://doi.org/10.1145/2568225.2568323},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2568225.2568323}}\n\n","author_short":["Degiovanni, R.","Alrajeh, D.","Aguirre, N.","Uchitel, S."],"editor_short":["Jalote, P.","Briand, L. C.","van der Hoek, A."],"key":"DBLP:conf/icse/DegiovanniAAU14","id":"DBLP:conf/icse/DegiovanniAAU14","bibbaseid":"degiovanni-alrajeh-aguirre-uchitel-automatedgoaloperationalisationbasedoninterpolationandsatsolving-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2568225.2568323"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.590Z","downloads":0,"keywords":[],"search_terms":["automated","goal","operationalisation","based","interpolation","sat","solving","degiovanni","alrajeh","aguirre","uchitel"],"title":"Automated goal operationalisation based on interpolation and SAT solving","year":2014,"dataSources":["CctimS4AgKgzGybH5"]}