Open AccessDevelopment of Communicating Stream X-Machine Tool for Modeling and Generating Test Cases for Automated Teller Machine
Author(s) -
Bashir Adewale Sanusi,
Emmanuel Ogunshile,
Mehmet Emin Aydın,
Stephen O. Olabiyisi,
Mayowa Oyedepo Oyediran
Publication year - 2022
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5121/csit.2022.121407
Subject(s) - computer science , formal specification , formal methods , software engineering , programming language , software development , java , formal verification , context (archaeology) , software , distributed computing , paleontology , biology