Definition and evaluation of mutation operators for GUI-level mutation analysis | IEEE Conference Publication | IEEE Xplore