GUI testing: pitfalls and process | IEEE Journals & Magazine | IEEE Xplore