Sun, Y., Johar, M. G. M., & Tham, J. (2025). Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic with Particle Swarm and Genetic Optimization. Informatica, 49(20). https://doi.org/10.31449/inf.v49i20.7645