Testing JavaScript Applications - da Costa (IEEE, 2003)