Companion release for the following publication, accepted to the Journal of Systems and Software:
Leonardo Scommegna, Roberto Verdecchia and Enrico Vicario. 2023. Unveiling Faulty User Sequences: A Model-based Approach to Test Three-Tier Software Architectures.