DevStream: level selection and testing