Source-code divergence diagnosis using constraints and cryptography

Farshad Ghassemi Toosi, Jim Buckley, Ashish Rajendra Sai. Source-code divergence diagnosis using constraints and cryptography. In Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns, editors, Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),. pages 205-208, ACM, 2019. [doi]

Abstract

Abstract is missing.