Correctness enhancement: a pervasive software engineering paradigm