Statistics for Guided Testing of Concurrent Programs Using Value Schedules