sentence1: prophet is a learning-based approach that uses explicitly designed code features to rank candidate repairs .
sentence2: prophet is a patch generation system that learns a probabilistic application-independent model of correct code from a set of successful human patches .