Test generation for graphical user interfaces based on symbolic execution

While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events on the GUI's widgets, a test input for a GUI is such an event sequence. Due to the combinatorial nature of the sequences, testing a GUI...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International Conference on Software Engineering 2008 Jg. 2008; H. 9
Hauptverfasser:	Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	11.05.2008
ISBN:	1605580309, 9781605580302
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!