Automatic conformance checking for migrating software systems to cloud infrastructures and platforms. - Sören Frey; Wilhelm Hasselbring; Benjamin Schnoor (J. Softw. Evol. Process., 2013)