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