Tuğlular, TuğkanBelli, FevziLinschulte, Michael03.04. Department of Computer Engineering03. Faculty of Engineering01. Izmir Institute of Technology2018-03-222018-03-222016-03Tuğ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/S02181940165000910218-19401793-6403http://doi.org/10.1142/S0218194016500091https://hdl.handle.net/11147/6828User 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.eninfo:eu-repo/semantics/openAccessEvent Sequence graphsInput validation testingModel-based testingSecurity testingGraphical user interfacesArticle2-s2.0-8496629710610.1142/S021819401650009110.1142/S0218194016500091