"Correctness" in programming refers to mathematical correctness. As in formally proving your program to be 100% correct as apposed to proving your program correct for a couple cases using software blackbox testing.

This can be done and has been done but is not well known among the javascript boot campers that populate HN.