Sun, Y.; Johar, M. G. M.; Tham, J. Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic With Particle Swarm and Genetic Optimization. IJCAI 2025, 49.