Unit testing performance with Stochastic Performance Logic. - Lubomír Bulej; Tomás Bures; Vojtech Horký; Jaroslav Kotrc; Lukás Marek; Tomás Trojánek; Petr Tuma 001 (Autom. Softw. Eng., 2017)