Ogunshile, E., & Phung, K. (in press). An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system. In 2020 8th International Conference in Software Engineering Research and Innovation (CONISOFT). https://doi.org/10.1109/CONISOFT50191.2020.00023