Skip to main content

Research Repository

Advanced Search

All Outputs (26)

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine
Presentation / Conference Contribution

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.