Collecting statistics over runtime executions
scientific article; zbMATH DE number 5000183
scientific article