All Outputs (2)

Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine (2024)
Presentation / Conference Contribution

Compiler design plays an important role in ensuring that the translation of the programs written in high-level language into executable code is correct. However, in todays’ safety-critical environments, security gaps, visible and hidden defects in co... Read More about Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine.

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
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.