Event-Based Input Validation Using Design-By Patterns

dc.contributor.author Tuğlular, Tuğkan
dc.contributor.author Müftüoğlu, Can Arda
dc.contributor.author Belli, Fevzi
dc.contributor.author Linschulte, M.
dc.coverage.doi 10.1109/ISSRE.2009.20
dc.date.accessioned 2016-11-14T09:52:32Z
dc.date.available 2016-11-14T09:52:32Z
dc.date.issued 2009
dc.description 20th International Symposium on Software Reliability Engineering, ISSRE 2009; Mysuru, Karnataka; India; 16 November 2009 through 19 November 2009 en_US
dc.description.abstract This 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.identifier.citation Tuğ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.20 en_US
dc.identifier.doi 10.1109/ISSRE.2009.20 en_US
dc.identifier.doi 10.1109/ISSRE.2009.20
dc.identifier.issn 1071-9458
dc.identifier.scopus 2-s2.0-77951467999
dc.identifier.uri http://doi.org/10.1109/ISSRE.2009.20
dc.identifier.uri https://hdl.handle.net/11147/2438
dc.language.iso en en_US
dc.publisher Institute of Electrical and Electronics Engineers Inc. en_US
dc.relation.ispartof 20th International Symposium on Software Reliability Engineering, ISSRE 2009 en_US
dc.rights info:eu-repo/semantics/openAccess en_US
dc.subject Software reliability en_US
dc.subject Boundary overflow en_US
dc.subject Security testing en_US
dc.subject Decision tables en_US
dc.subject Event Sequence graphs en_US
dc.title Event-Based Input Validation Using Design-By Patterns en_US
dc.type Conference Object en_US
dspace.entity.type Publication
gdc.author.institutional Tuğlular, Tuğkan
gdc.author.institutional Müftüoğlu, Can Arda
gdc.author.yokid 114656
gdc.bip.impulseclass C5
gdc.bip.influenceclass C5
gdc.bip.popularityclass C5
gdc.coar.access open access
gdc.coar.type text::conference output
gdc.collaboration.industrial false
gdc.description.department İzmir Institute of Technology. Computer Engineering en_US
gdc.description.endpage 204 en_US
gdc.description.publicationcategory Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı en_US
gdc.description.scopusquality Q2
gdc.description.startpage 195 en_US
gdc.description.wosquality N/A
gdc.identifier.openalex W2108222723
gdc.index.type Scopus
gdc.oaire.diamondjournal false
gdc.oaire.impulse 3.0
gdc.oaire.influence 3.2543892E-9
gdc.oaire.isgreen true
gdc.oaire.keywords Event Sequence graphs
gdc.oaire.keywords Boundary overflow
gdc.oaire.keywords Security testing
gdc.oaire.keywords Decision tables
gdc.oaire.keywords Software reliability
gdc.oaire.popularity 6.5667455E-10
gdc.oaire.publicfunded false
gdc.oaire.sciencefields 0202 electrical engineering, electronic engineering, information engineering
gdc.oaire.sciencefields 0102 computer and information sciences
gdc.oaire.sciencefields 02 engineering and technology
gdc.oaire.sciencefields 01 natural sciences
gdc.openalex.collaboration International
gdc.openalex.fwci 1.67076877
gdc.openalex.normalizedpercentile 0.87
gdc.opencitations.count 5
gdc.plumx.crossrefcites 2
gdc.plumx.mendeley 23
gdc.plumx.scopuscites 9
gdc.scopus.citedcount 9
local.message.claim 2022-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 *
relation.isAuthorOfPublication.latestForDiscovery 7f52fb71-3121-46a6-a461-2ff1b28d9fa1
relation.isOrgUnitOfPublication.latestForDiscovery 9af2b05f-28ac-4014-8abe-a4dfe192da5e

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Name:
2438.pdf
Size:
624.13 KB
Format:
Adobe Portable Document Format
Description:
Conference Paper

License bundle

Now showing 1 - 1 of 1
Loading...
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: