Y. Sun, M. G. M. Johar, and J. Tham, “Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic with Particle Swarm and Genetic Optimization”, IJCAI, vol. 49, no. 20, Apr. 2025.