SUN, Yuan; JOHAR, Md Gapar Md; THAM, Jacquline. Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic with Particle Swarm and Genetic Optimization. Informatica, [S. l.], v. 49, n. 20, 2025. DOI: 10.31449/inf.v49i20.7645. Disponível em: https://www.informatica.si/index.php/informatica/article/view/7645. Acesso em: 15 jan. 2026.