@inproceedings{Mattavelli:SBES:FSE:2014,
 author = {Goffi, Alberto and Gorla, Alessandra and Mattavelli, Andrea
                  and Pezz\`{e}, Mauro and Tonella, Paolo},
 title = {Search-based Synthesis of Equivalent Method Sequences},
 booktitle = {Proceedings of the 22nd ACM SIGSOFT International
                  Symposium on the Foundations of Software
                  Engineering},
 series = {FSE 2014},
 year = {2014},
 month={November},
 location = {Hong Kong},
 publisher = {ACM},
 address = {New York, NY, USA},
 comment = {To appear},
}