Zakeri-Nasrabadi, M., Parsa, S., & Jafari, S. (2024). Design for testability (Version 0.2.0) [Computer software]. https://doi.org/https://doi.org/10.5281/zenodo.11076642