Blog about a Locker of Awk code: http://awk.info
Bakar and Janowski use Awk for automated result verification.