“With imperative UI approaches like those used with jQuery, confidently determining the correctness and completeness of an implementation requires actually executing the code for all logical branches.”