The ATM example is used to demonstrate the activity diagram testing methodology based on UTP proposed in this paper. Published in: 2024 6th International Conference on Electronic Engineering and ...