An introduction to automated patching