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.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/IET Electronic Library (IEL) (UW System Shared)
  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/eLvHCXMwtV1Lj9MwELbKwoHL8hYsLx8QN0MS27FzRKuuQKwKEl2pt8p2ErGrki5pGxZ-AT-bGdeJu4AEHLgkjZVGjufTZDyPbwh5plxaKs05K3kqmFDcMusqy1KnDFgUOtfa-WYTajLRs1nxfjT63tfCdAvVNPriojj_r6KGMRA2ls7-g7iHh8IA_AahwxHEDse_EzzoeWyMXLUxj9DTUntxoFPCc0S0tU_Gwq9YiRGD1ddPFjmCsQmT2wziOouZ7tFxGMsE8Z8fQJN_wQSyHW5DZCqM1dimWXbezdpV6yVgsItpim9PF4uQ5H0Y8qn98McN5lf3Tuu6Nd-iEm9D6B_dfmAjjy95LjQG3YNm9RvYFLZSUmOMZ0fpZSphyNC6q6GHKW-xWPxe9QtkyUg58vVnL_x5S2l7mWR78m5-dHJ8PJ-OZ9Pn558Z9h_DOH1oxnKFXM2ULPS2EjB665CqMYvJQ7nwnUmH2WLJ4PA2gUmsv84CoxRM8OVP0_vFAPBWzfQm2Q_bEfpqC6NbZFQ1t8mNvtUHDZr_DnmDqKIRVRRQRQdUUUQVjaiiHlUUbutRRQdU3SUnR-Pp4WsWunAwkyq-Ziap0xqWhFttNU9qnTsw6erMJTbXtUhrmfMaLGejYIFEmXOTqCKD1zcCdp9S8ntkr1k21X1MoysxzJzbrKiEM4lxMjMul5VAEiDrHpCn_XLMQcth6Mo01XKzmnPpI9Dy4I93PCTXI9Yekb11u6kek2uuW5-u2ideqj8AzZRtWg
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