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