Concolic execution for RPA testing

By using Robotic Process Automation (RPA), repetitive processes in companies can be automated and executed with intelligent software agents. These agents are able to run such processes without human effort and with less error-proneness. RPA has gained significant traction in recent years and is being used by many companies to reduce internal costs and achieve a higher return on investment (ROI). In our literature review, we found that there is a gap in the testability of RPA workflows. In this paper, we focus on addressing this gap using concolic execution (also referred to as online symbolic execution in the literature). First, we explore how previous work in the literature on concolic execution can be reused for the RPA domain and we implement a prototype. Then, we evaluate our open source solution for adapting concolic execution to the RPA context, using real-world use cases and best practices.