Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2438
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTuğlular, Tuğkan-
dc.contributor.authorMüftüoğlu, Can Arda-
dc.contributor.authorBelli, Fevzi-
dc.contributor.authorLinschulte, M.-
dc.date.accessioned2016-11-14T09:52:32Z
dc.date.available2016-11-14T09:52:32Z
dc.date.issued2009
dc.identifier.citationTuğlular, T., Müftüoğlu, C. A., Belli, F., and Linschulte, M. (2009, November 16-19). Event-based input validation using design-by-contract patterns. Paper presented at the 20th International Symposium on Software Reliability Engineering, ISSRE 2009. doi:10.1109/ISSRE.2009.20en_US
dc.identifier.issn1071-9458
dc.identifier.issn1071-9458-
dc.identifier.urihttp://doi.org/10.1109/ISSRE.2009.20
dc.identifier.urihttp://hdl.handle.net/11147/2438
dc.description20th International Symposium on Software Reliability Engineering, ISSRE 2009; Mysuru, Karnataka; India; 16 November 2009 through 19 November 2009en_US
dc.description.abstractThis paper proposes an approach for validation of numerical inputs based on graphical user interfaces (GUI) that are modeled and specified by event sequence graphs (ESG). For considering complex structures of input data, ESGs are augmented by decision tables and patterns of design by contract (DbC). The approach is evaluated by experiments on boundary overflows, which occur when input values violate the range of specified values. Furthermore, a tool is presented that implements our approach enabling a semiautomatically detection of boundary overflow errors and suggesting correction steps based on DbC.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartof20th International Symposium on Software Reliability Engineering, ISSRE 2009en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectSoftware reliabilityen_US
dc.subjectBoundary overflowen_US
dc.subjectSecurity testingen_US
dc.subjectDecision tablesen_US
dc.subjectEvent Sequence graphsen_US
dc.titleEvent-based input validation using design-by-contract patternsen_US
dc.typeConference Objecten_US
dc.authoridTR114656en_US
dc.institutionauthorTuğlular, Tuğkan-
dc.institutionauthorMüftüoğlu, Can Arda-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.startpage195en_US
dc.identifier.endpage204en_US
dc.identifier.scopus2-s2.0-77951467999en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/ISSRE.2009.20-
dc.relation.doi10.1109/ISSRE.2009.20en_US
dc.coverage.doi10.1109/ISSRE.2009.20en_US
local.message.claim2022-06-03T14:16:43.901+0300*
local.message.claim|rp00375*
local.message.claim|submit_approve*
local.message.claim|dc_contributor_author*
local.message.claim|None*
dc.identifier.wosqualityN/A-
dc.identifier.scopusqualityN/A-
item.fulltextWith Fulltext-
item.grantfulltextopen-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
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
Files in This Item:
File Description SizeFormat 
2438.pdfConference Paper624.13 kBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

8
checked on Nov 15, 2024

Page view(s)

266
checked on Nov 18, 2024

Download(s)

242
checked on Nov 18, 2024

Google ScholarTM

Check




Altmetric


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