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