Andrea Aquino, Giovanni Denaro, Mauro Pezzè. Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. pages 427-437, IEEE / ACM, 2017. [doi]
Abstract is missing.