Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/6828
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTuğlular, Tuğkan-
dc.contributor.authorBelli, Fevzi-
dc.contributor.authorLinschulte, Michael-
dc.date.accessioned2018-03-22T06:45:12Z-
dc.date.available2018-03-22T06:45:12Z-
dc.date.issued2016-03-
dc.identifier.citationTuğlulur, T., Belli, F., and Linschulte, M. (2016). Input contract testing of graphical user interfaces. International Journal of Software Engineering and Knowledge Engineering, 26(2), 183-215. doi:10.1142/S0218194016500091en_US
dc.identifier.issn0218-1940-
dc.identifier.urihttp://doi.org/10.1142/S0218194016500091-
dc.identifier.urihttp://hdl.handle.net/11147/6828-
dc.description.abstractUser inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-based model of user interface specification and applies them to the system under consideration. The paper presents a proof-of-concept tool that has been developed and used to validate the approach by experiments. The experiments are conducted on a web-based system for marketing tourist services to analyze input robustness of system under consideration with respect to user input contracts.en_US
dc.language.isoenen_US
dc.publisherWorld Scientific Publishing Co. Pte Ltden_US
dc.relation.ispartofInternational Journal of Software Engineering and Knowledge Engineeringen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectEvent Sequence graphsen_US
dc.subjectInput validation testingen_US
dc.subjectModel-based testingen_US
dc.subjectSecurity testingen_US
dc.subjectGraphical user interfacesen_US
dc.titleInput contract testing of graphical user interfacesen_US
dc.typeArticleen_US
dc.authoridTR114656en_US
dc.institutionauthorTuğlular, Tuğkan-
dc.institutionauthorBelli, Fevzi-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.volume26en_US
dc.identifier.issue2en_US
dc.identifier.startpage183en_US
dc.identifier.endpage215en_US
dc.identifier.wosWOS:000375089200002en_US
dc.identifier.scopus2-s2.0-84966297106en_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1142/S0218194016500091-
dc.relation.doi10.1142/S0218194016500091en_US
dc.coverage.doi10.1142/S0218194016500091en_US
local.message.claim2022-06-03T14:17:36.320+0300|||rp00375|||submit_approve|||dc_contributor_author|||None*
dc.identifier.wosqualityQ4-
dc.identifier.scopusqualityQ3-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextWith Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.grantfulltextopen-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Files in This Item:
File Description SizeFormat 
6827.pdfMakale1.26 MBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

9
checked on Mar 22, 2024

WEB OF SCIENCETM
Citations

7
checked on Mar 27, 2024

Page view(s)

430
checked on Mar 25, 2024

Download(s)

246
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.