Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine
(2022)
Presentation / Conference
Adewale Sanusi, B., Ogunshile, E., Aydin, M., Olatunde Olabiyisi, S., & Oyedepo Oyediran, M. (2022, August). Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine. Paper presented at 9th International Conference on Computer Science and Information Technology (CSIT 2022), Chennai, India
The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.