Performance Analysis of Spotify® for Android with Model-Based Testing

Table 2

Numerical results for test case generation.

Configuration	Results
Max. trans.	Number of test cases	Time	Number of states	Memory
50	199	0.02 s	7,072	129.8 MB
60	815	0.08 s	28,763	133.2 MB
100	226,029	25.3 s	795,9210	1,724.0 MB