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 , programming language , software engineering , software development , java , formal verification , context (archaeology) , software , distributed computing , operating system , paleontology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom