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