GUI testing is a form of system testing where test cases are based on user interactions. A user interaction may be encoded by a sequence of events (e.g., mouse clicks) together with input data (e.g., string values for text boxes). For selecting event sequences, one can use the black-box approach based on Event Flow Graphs. For selecting input data, one can use the white-box approach based on pa...

This paper presents extensions to the Spec Explorer tool to automate the testing of software applications through their GUI based on a formal specification in Spec#. The Spec Explorer tool, developed at Microsoft Research, already supports the automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net ass...

The automated graphical user interface (GUI) testing has been a challenging task. The manual testing done in the GUI requires huge amount of time, so in order to reduce this time, many automated GUI testing techniques have been proposed. The most common way testing with any software is based on the finite state machine (FSM). It has been used since we have the software that doesn’t have the GUI...

4 Graphical user interfaces (GUIs) are the sole mode of interaction between end-users and 5 back-end code for almost all of today’s software applications. Because of this strategic role 6 of GUIs, their quality has become important. During GUI testing, test cases—modeled as se7 quences of user events—sample the vast input space of all possible sequences with the goal 8 of detecting faults; for ...

The Systems Biology Workbench (SBW) is a broker-based architecture that provides infrastructure enabling software components to communicate with each other. A component in SBW (called an SBW module) can take many forms: it may be primarily computational and lack a GUI, or it may be a computational module having its own GUI, or it may consist solely of a GUI designed to control other tools. A cr...

Glucose utilization indices (GUI) of interscapular brown adipose tissue (IBAT) declined by 84% after 48 h starvation. Two-thirds of the overall response was observed within 6 h, correlating with decreased insulin concentrations. Re-feeding 48 h-starved rats restored insulin concentrations and evoked a rapid 15-fold increase in IBAT GUI. GUI values after re-feeding were markedly higher than thos...

......................................................................................................................1 Part A: Scientific background.....................................................................................3 1) Introduction........................................................................................................3 2) The Bureau of Meteorology Statistical...

The wastewater treatment process is aimed to reduce pollution the appropriate level. An oxidation pond system can treat contaminants in wastewater. Oxidation ponds are use sunlight, bacteria, and algae This study developed an improved mathematical model a graphical user interface (GUI), called oxi-P GUI predict pond. correlation between dissolved oxygen (DO), chemical demand (COD), coliform as ...

Implementation of a graphical user interface for a nontrivial application tends to be tedious and error prone. A simple, visual GUI builder was implemented to explore issues with the current state of graphical application development. Various implementation issues are discussed in relation to enabling a GUI builder tool to be easily extensible to prevent discouraging stagnation of GUI controls....