Sun, Yuan, et al. “Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic With Particle Swarm and Genetic Optimization”. Informatica, vol. 49, no. 20, Apr. 2025, doi:10.31449/inf.v49i20.7645.