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

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering 2008 Vol. 2008; no. 9
Main Authors: Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E
Format: Journal Article
Language:English
Published: 11.05.2008
ISBN:1605580309, 9781605580302
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract 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 thoroughly is problematic and time-consuming. Moreover, the wide range of possible values for certain GUI widgets, such as a textbox, compounds the problem.
AbstractList 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 thoroughly is problematic and time-consuming. Moreover, the wide range of possible values for certain GUI widgets, such as a textbox, compounds the problem.
Author Perry, Dewayne E
Killmar, Chip
Khurshid, Sarfraz
Ganov, Svetoslav R
Author_xml – sequence: 1
  givenname: Svetoslav
  surname: Ganov
  middlename: R
  fullname: Ganov, Svetoslav R
– sequence: 2
  givenname: Chip
  surname: Killmar
  fullname: Killmar, Chip
– sequence: 3
  givenname: Sarfraz
  surname: Khurshid
  fullname: Khurshid, Sarfraz
– sequence: 4
  givenname: Dewayne
  surname: Perry
  middlename: E
  fullname: Perry, Dewayne E
BookMark eNotjjtPwzAURi1RJNrCzOqJLeX6cf0YUQW0UiWWMleOe12C0qTYiQT_nvKYzvKdT2fGJl3fEWO3AhZCaLwXygJoufglwgWbCQOIDhT4CZuCtFChRHvFZqW8A4DR3k_Zektl4AfqKIeh6Tue-swPOZzemhhaPhbKvOkGyilEKrwOhfb8PCtfx7pvm8jpk-L4Y16zyxTaQjf_nLPXp8ftclVtXp7Xy4dNFYRVQxUgiWTRq9rVTkFyJhqhk4xQG5e0SGhUAonBSin03qgA1ksnTNCgPaKas7u_31PuP8Zz_e7YlEhtGzrqx7JTCEZ5i-ob3MNQ2Q
ContentType Journal Article
DBID 7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1145/1370042.1370050
DatabaseName Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
GroupedDBID -~X
.4S
.DC
123
29O
5VS
6IF
6IH
6IK
6IL
6IM
6IN
7SC
8FD
8US
AAJGR
AAWTH
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
APO
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CHZPO
EDO
FEDTE
I-F
I07
IPLJI
JQ2
L7M
L~C
L~D
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-a173t-a0f1f7593b8b830f86c614f2c0b68f41f563f025a72214d63a0792816a4049553
ISBN 1605580309
9781605580302
ISSN 0270-5257
IngestDate Fri Sep 05 10:50:19 EDT 2025
IsPeerReviewed false
IsScholarly true
Issue 9
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a173t-a0f1f7593b8b830f86c614f2c0b68f41f563f025a72214d63a0792816a4049553
Notes SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
PQID 35063975
PQPubID 23500
ParticipantIDs proquest_miscellaneous_35063975
PublicationCentury 2000
PublicationDate 20080511
PublicationDateYYYYMMDD 2008-05-11
PublicationDate_xml – month: 05
  year: 2008
  text: 20080511
  day: 11
PublicationDecade 2000
PublicationTitle International Conference on Software Engineering 2008
PublicationYear 2008
SSID ssj0006499
ssj0001138221
Score 1.9995513
Snippet 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...
SourceID proquest
SourceType Aggregation Database
Title Test generation for graphical user interfaces based on symbolic execution
URI https://www.proquest.com/docview/35063975
Volume 2008
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  isbn: 1605580309
  customDbUrl:
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006499
  issn: 0270-5257
  databaseCode: RIE
  dateStart: 19880101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Nb9MwFLfK4MCFMT4EDJgPiFsgie3EPqKpE4iqINGh3io7icVQSUfahm1_AX8277lO3LFJwIFL2lpp5fj9-vz8Pn6PkBdJkZQ2U2VkGDcRhy0F_lKxiBSHvcbkNildEs3nUT4ey-lUfRwMfna1MO08r2t5dqZO_6uoYQyEjaWz_yDu_kdhAN6D0OEKYofr3wke9Dw2Rq6akEfoaKmdONAp4TgiGuuSsXAXKzFisDz_ZpAjGJswFeteXF9DpntwHIYyQfzmJ9DkPzCBbIvbEJkKQzW2rhetc7O21WoBGGxDmuL7k_ncJ3kf-nxqN_xljfnVndPaNvoiKPHGh_7R7Qc28vCS50Ji0N1rVneATeAoJSTGeLaUXprHETK0bmvofsobLKrrVT9HloyEIV9_-sq9bihtL5Nsjz_Mjo5Ho9lkOJ28PP0eYf8xjNP7Ziw3yM00F0puKgGDtw6pGtOQPJRx15m0ny2WDPZP45nEus-pZ5SCCb7-bXpXDABn1Uzukjv-OELfbGC0RwZVfY_sdq0-qNf898k7RBUNqKKAKtqjiiKqaEAVdaiicFuHKtqj6gE5PhpODt9GvgtHpJOcrSId28TCkjAjjWSxlVkBJp1Ni9hk0vLEioxZsJx1DgvEy4zpOFcpPL7mcPoUgj0kO_Wirh4RymKuYQfRCqxqbmRhpDaKCautSZky6jE56JZjBloOQ1e6rhbr5YwJF4EWT_54xz65HbD2lOysmnX1jNwq2tXJsnnupPoL5WZs-A
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Test+generation+for+graphical+user+interfaces+based+on+symbolic+execution&rft.jtitle=International+Conference+on+Software+Engineering+2008&rft.au=Ganov%2C+Svetoslav+R&rft.au=Killmar%2C+Chip&rft.au=Khurshid%2C+Sarfraz&rft.au=Perry%2C+Dewayne+E&rft.date=2008-05-11&rft.isbn=1605580309&rft.issn=0270-5257&rft.volume=2008&rft.issue=9&rft_id=info:doi/10.1145%2F1370042.1370050&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0270-5257&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0270-5257&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0270-5257&client=summon