Tuğlular, TuğkanMüftüoğlu, Can ArdaBelli, FevziLinschulte, M.2016-11-142016-11-142009Tuğ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.201071-9458http://doi.org/10.1109/ISSRE.2009.20https://hdl.handle.net/11147/243820th International Symposium on Software Reliability Engineering, ISSRE 2009; Mysuru, Karnataka; India; 16 November 2009 through 19 November 2009This 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.eninfo:eu-repo/semantics/openAccessSoftware reliabilityBoundary overflowSecurity testingDecision tablesEvent Sequence graphsConference Object2-s2.0-7795146799910.1109/ISSRE.2009.20