@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.}
}
