Turner, JessicaBowen, JudyReeves, Steve2026-09-232026-09-232017Turner, J., Bowen, J., & Reeves, S. (2017). Supporting interactive system testing with interaction sequences. In EICS '17: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 129-132). ACM. https://doi.org/10.1145/3102113.3102149978-1-4503-5083-9https://hdl.handle.net/10289/18676In software engineering testing is an important part of the development process. In interactive systems human input introduces the possibility of human error, which increases the testing requirements. In safety-critical systems user or system error can result in injury or death to a user. We propose using interaction sequences as a way of supporting interactive system testing to help address these issues.enThis is an author's accepted version of a short paper presented at EICS '17: ACM SIGCHI Symposium on Engineering Interactive Computing Systems.© 2017 ACM.abstraction modelling and modularityformal methodsinteraction devicesregular languagesConference Contribution10.1145/3102113.3102149