A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis. Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu. In: Machines Journal, Vol. 13, Iss. 6, June 2025, DOI: 10.3390/machines13060504.