@article {15440,
	title = {Iterative execution-feedback model-directed GUI testing},
	journal = {Information and Software Technology},
	volume = {52},
	year = {2010},
	month = {2010/05//},
	pages = {559 - 575},
	abstract = {Current fully automatic model-based test-case generation techniques for GUIs employ a static model. Therefore they are unable to leverage certain state-based relationships between GUI events (e.g., one enables the other, one alters the other{\textquoteright}s execution) that are revealed at run-time and non-trivial to infer statically. We present ALT {\textendash} a new technique to generate GUI test cases in batches. Because of its {\textquotedblleft}alternating{\textquotedblright} nature, ALT enhances the next batch by using GUI run-time information from the current batch. An empirical study on four fielded GUI-based applications demonstrated that ALT was able to detect new 4- and 5-way GUI interaction faults; in contrast, previous techniques, due to their requirement of too many test cases, were unable to even test 4- and 5-way GUI interactions.},
	keywords = {event-driven software, event-flow graphs, GUI testing, model-based testing, test-case generation},
	isbn = {0950-5849},
	doi = {10.1016/j.infsof.2009.11.009},
	url = {http://www.sciencedirect.com/science/article/pii/S0950584909002092},
	author = {Xun Yuan and Memon, Atif M.}
}
@article {15504,
	title = {Using GUI Run-Time State as Feedback for Test Automation},
	year = {2009},
	month = {2009/08/18/},
	institution = {Computer Science Research Works, University of Maryland, College Park},
	abstract = {Graphical user interfaces (GUIs) are the sole mode of interactionbetween end-users and back-end code for almost all of today{\textquoteright}s software
applications.  Because of this strategic role of GUIs, their quality
has become important. During GUI testing, test cases---modeled as
sequences of user events---sample the vast input space of all possible
sequences with the goal of detecting faults; for effective testing, it
is important to sample this space carefully.  Existing techniques
either sample manually or employ manually constructed abstract
models---the abstraction and/or subsequent test-case generation
algorithms enable sampling.
This report presents an alternative approach to GUI testing -- it{\textquoteright}s
focus is on developing a fully automatic model-driven technique
to generate GUI test cases.  The technique is novel in that it uses
feedback from the execution of a {\textquoteleft}{\textquoteleft}seed test suite{\textquoteright}{\textquoteright} on a GUI.
The seed suite is generated automatically using an existing structural
event-interaction graph (EIG) model of the GUI.  During its
execution, the run-time effect of each GUI event on all other events
pinpoints new important event-semantic interaction (ESI)
relationships between them, which are used to automatically create an
ESI graph (ESIG) model and generate new test cases.  Together
with a reverse-engineering algorithm used to obtain the EIG, seed
suite, ESIG, and new test cases, the feedback-based technique yields a
fully automatic, end-to-end GUI testing process.
},
	keywords = {GUI testing, Software testing, test automation, test-case generation},
	url = {http://drum.lib.umd.edu//handle/1903/9416},
	author = {Xun Yuan and Memon, Atif M.}
}
@article {15492,
	title = {An event-flow model of GUI-based applications for testing},
	journal = {Software Testing, Verification and Reliability},
	volume = {17},
	year = {2007},
	month = {2007///},
	pages = {137 - 157},
	abstract = {Graphical user interfaces (GUIs) are by far the most popular means used to interact with today{\textquoteright}s software. The functional correctness of a GUI is required to ensure the safety, robustness and usability of an entire software system. GUI testing techniques used in practice are resource intensive; model-based automated techniques are rarely employed. A key reason for the reluctance in the adoption of model-based solutions proposed by researchers is their limited applicability; moreover, the models are expensive to create. Over the past few years, the present author has been developing different models for various aspects of GUI testing. This paper consolidates all of the models into one scalable event-flow model and outlines algorithms to semi-automatically reverse-engineer the model from an implementation. Earlier work on model-based test-case generation, test-oracle creation, coverage evaluation, and regression testing is recast in terms of this model by defining event-space exploration strategies (ESESs) and creating an end-to-end GUI testing process. Three such ESESs are described: for checking the event-flow model, test-case generation, and test-oracle creation. Two demonstrational scenarios show the application of the model and the three ESESs for experimentation and application in GUI testing. Copyright {\textcopyright} 2007 John Wiley \& Sons, Ltd.},
	keywords = {event-driven software, event-flow graph, event-flow model, Graphical user interfaces, integration tree, Model checking, test oracles, test-case generation},
	isbn = {1099-1689},
	doi = {10.1002/stvr.364},
	url = {http://onlinelibrary.wiley.com/doi/10.1002/stvr.364/abstract},
	author = {Memon, Atif M.}
}
