David A. Spuler
James Cook Univ.
Automatic detection and correction of programming faults for software applications
Journal of Systems and Software