%0 Conference Paper %1 conf/icse/DegiovanniAAU14 %A Degiovanni, Renzo %A Alrajeh, Dalal %A Aguirre, Nazareno %A Uchitel, Sebastián %B ICSE %D 2014 %E Jalote, Pankaj %E Briand, Lionel C. %E van der Hoek, André %I ACM %K %P 129-139 %T Automated goal operationalisation based on interpolation and SAT solving. %U http://dblp.uni-trier.de/db/conf/icse/icse2014.html#DegiovanniAAU14 %@ 978-1-4503-2756-5

@inproceedings{conf/icse/DegiovanniAAU14, added-at = {2023-12-12T18:56:03.000+0100}, author = {Degiovanni, Renzo and Alrajeh, Dalal and Aguirre, Nazareno and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2800316e9873464190b7f3a30a6355812/admin}, booktitle = {ICSE}, crossref = {conf/icse/2014}, editor = {Jalote, Pankaj and Briand, Lionel C. and van der Hoek, André}, ee = {https://doi.org/10.1145/2568225.2568323}, interhash = {1955ad5dd5ac19ee703f63212e85b3bc}, intrahash = {800316e9873464190b7f3a30a6355812}, isbn = {978-1-4503-2756-5}, keywords = {}, pages = {129-139}, publisher = {ACM}, timestamp = {2023-12-12T18:56:03.000+0100}, title = {Automated goal operationalisation based on interpolation and SAT solving.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2014.html#DegiovanniAAU14}, year = 2014 }