Tuglular, TugkanBelli, FevziLinschulte, MichaelTuğlular, TuğkanBilgisayar Mühendisliği Bölümü2023-10-302023-10-30201660218-19401793-640310.1142/S02181940165000912-s2.0-84966297106https://doi.org/10.1142/S0218194016500091http://65.108.157.135:4000/handle/123456789/26Tuglular, Tugkan/0000-0001-6797-3913User 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/closedAccessModel-based testingdesign-by-contractevent sequence graphsinput validation testingsecurity testingArticle