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