Title :
A Case for GUI Testing Using Symbolic Execution Poster Abstract
Author :
Ganov, Svetoslav ; Khurshid, Sarfraz ; Perry, Dewayne
Author_Institution :
Univ. of Texas at Austin, Austin
Abstract :
A Graphical User Interface (GUI) consists of virtual objects (widgets) that are more intuitive to use, for example buttons, edit boxes, etc. While GUIs have become ubiquitous, testing them remains largely ad- hoc. In contrast with console applications where there is only one point of interaction (the command line), GUIs provide multiple points each of which might have different states. This structure makes GUI testing especially challenging because of its large input space.
Keywords :
graphical user interfaces; program testing; GUI testing; graphical user interface; symbolic execution; Automatic testing; Automation; Explosions; Graphical user interfaces; Inspection; Interleaved codes; Logic testing; Performance evaluation; Random number generation; System testing;
Conference_Titel :
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Conference_Location :
Windsor
Print_ISBN :
978-0-7695-2984-4
DOI :
10.1109/TAIC.PART.2007.35
