A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis †
Guardado en:
| Publicado en: | Machines vol. 13, no. 6 (2025), p. 504-532 |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Publicado: |
MDPI AG
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3223924754 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2075-1702 | ||
| 024 | 7 | |a 10.3390/machines13060504 |2 doi | |
| 035 | |a 3223924754 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 084 | |a 231531 |2 nlm | ||
| 100 | 1 | |a Paduraru Ciprian | |
| 245 | 1 | |a A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis † | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a Robotic Process Automation is a technology that replicates human interactions with user interfaces across various applications. However, testing Robotic Process Automation implementations remains challenging due to the dynamic nature of workflows. This paper presents a novel testing framework that first integrates symbolic execution and concolic testing strategies to enhance Robotic Process Automation workflow validation. Building on insights from these methods, we introduce a hybrid approach that optimizes test coverage and efficiency in specific cases. Our open-source implementation demonstrates that automated testing in the Robotic Process Automation domain significantly improves coverage, reduces manual effort, and enhances reliability. Furthermore, the proposed solution supports multiple Robotic Process Automation platforms and aligns with industry best practices for user interface automation testing. Experimental evaluation, conducted in collaboration with industry, validates the effectiveness of our approach. | |
| 653 | |a User interface | ||
| 653 | |a Software | ||
| 653 | |a Information systems | ||
| 653 | |a Program verification (computers) | ||
| 653 | |a Best practice | ||
| 653 | |a Methods | ||
| 653 | |a User interfaces | ||
| 653 | |a Automation | ||
| 653 | |a Hypotheses | ||
| 653 | |a Large language models | ||
| 653 | |a Robotics | ||
| 700 | 1 | |a Cernat Marina | |
| 700 | 1 | |a Staicu Adelina-Nicoleta | |
| 773 | 0 | |t Machines |g vol. 13, no. 6 (2025), p. 504-532 | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3223924754/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text + Graphics |u https://www.proquest.com/docview/3223924754/fulltextwithgraphics/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3223924754/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |