Special issue on testing extra‐functional properties. (6th December 2019) - Saadatmand, Mehrdad; Lindström, Birgitta; Aichernig, Bernhard K.