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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International Conference on Software Engineering 2008 Ročník 2008; číslo 9
Hlavní autoři: Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E
Médium: Journal Article
Jazyk:angličtina
Vydáno: 11.05.2008
ISBN:1605580309, 9781605580302
ISSN:0270-5257
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.999656
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/eLvHCXMwtV1Lj9MwELbKwoHL8hYsLx8Qt0DiR2wf0aorEKuCRFfqrXJSW-yqpEv6YOEX8LOZcZ24C0jAgUvaWm7leL5OPK9vCHnmy0pwn-eZE8JlQkmRGWfqrPJWVJwrORNVaDahRiM9mZj3g8H3rhZmM1dNoy8uzPl_FTWMgbCxdPYfxN3_KAzAexA6XEHscP07wYOex8bIrk15hIGWOogDnRKBI6L1IRkLn2IzjBgsv36qkCMYmzDV615cZynTPTkOU5kgfvMDaPIvmEC2w22ITIWpGts2i01ws27cagEY3KQ0xben83lM8j6M-dRh-OMa86s7p7Vv7bekxNsY-ke3H5yRh5c8FxqD7lGzBgO2AFNKaozx7Cg9pvIMGVp3NXS_5C0Wze9Vv0CWjIIjXz97EV63lLaXSbZH76ZHJ8fH0_FwMn5-_jnD_mMYp4_NWK6Qq0xJo7eVgMlbh1SNLCUPlSJ0Ju1XiyWD_d1EJrHuM4uMUrDAlz8t75cDQDjVjG-S_WiO0FdbGN0iA9fcJje6Vh80av475A2iiiZUUUAV7VFFEVU0oYoGVFGY1qGK9qi6S06OhuPD11nswpHZQvFVZnNfeNgSXulK89zrsoYjnWd1XpXai8LLEv7sTFoFGyRmJbe5Mgxu3wqwPqXk98hes2jcfUINPByK3BqYXgvHZGXqXIEJr5mrZen1A_K0244paDkMXdnGLdbLKZchAi0P_jjjIbmesPaI7K3atXtMrtWb1emyfRKk-gNWTW1B
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