Unveiling Faulty User Sequences: A Model-based Approach to Test Three-Tier Software Architectures

Published in Journal of Systems and Software, 2024