Analya, P. ., Ratnadewi, R. ., Adelina, I. ., & Pintu Batu, M. C. P. (2023). Pauli testing tool application design. Jurnal Mantik, 7(3), 2257-2265. https://doi.org/10.35335/mantik.v7i3.4371