Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic With Particle Swarm and Genetic Optimization. IJCAI 2025, 49 (20). https://doi.org/10.31449/inf.v49i20.7645.