IEEE - Institute of Electrical and Electronics Engineers, Inc. - Event-Based Input Validation Using Design-by-Contract Patterns

2009 IEEE International Symposium on Software Reliability Engineering (ISSRE)

Author(s): Tuglular, T. ; Muftuoglu, C.A. ; Belli, F. ; Linschulte, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Mysuru, Karnataka, India, India
Conference Date: 16 November 2009
Page(s): 195 - 204
ISBN (CD): 978-0-7695-3878-5
ISBN (Paper): 978-1-4244-5375-7
ISSN (Paper): 1071-9458
DOI: 10.1109/ISSRE.2009.20
Regular:

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... View More

Advertisement