Title: Computer program fault detection and correction