T Tuglular,
F Belli, M Linschulte - International Journal of Software …, 2016 - World Scientific
User 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 …