Due to the gradual revelation of the qur‟ānic verses in line with the events of the prophethood of Prophet Muḥammad (s) era, the reports of the battles of early days of Islam are reflected in some verses, and in some others Jihād and fighting against disbelievers has been emphasized. This has been used as a pretext by some to unintentionally or purposively introduce the Qur‟ān as a book that in...

We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a large code database that contains many past successful human patches. It defines the probabilistic model as the combination of a distribution over program points based on error localization algorithms and a parameterized log-linear distribution over modification operations. It the...