Graphical User Interface (GUI) accounts for half or more of the amount of source code in modern software. Software verification of GUI-based software has been discussed in literature. GUI testing and system testing are two tools used in software verification of GUI-based software. Static analysis is a tool for software verification that can study relationships between inputs and executed parts of software code. The thesis bridges the gap between system testing and GUI testing through static analysis. Specifically, it introduces the use of static analysis combined with system tests to verify the GUI-based Software Under Test (SUT). The static analysis will be applied on the source code of the GUI part of the SUT. System tests will be applied on the source code of the non-GUI part of the SUT.