Sun Y, Johar MGM, Tham J. Enhanced Software Performance Testing for Big Data Platforms Using Clock-Controlled Computation Tree Logic with Particle Swarm and Genetic Optimization. IJCAI [Internet]. 2025 Apr. 16 [cited 2026 Jan. 15];49(20). Available from: https://www.informatica.si/index.php/informatica/article/view/7645