Exploring Use of Symbolic Execution for Service Analysis
Yang Zhang, Long Wang, Zhengang Wang, Dongdong Shangguan · 2024
Service computing is growing popular thanks to the cloud computing technology. However, the behavior of cloud services is complicated as they involve a large number of components and complex interactions between them. It is highly helpful for service users and providers to well understand the service behavior if they can exhaustively explore potential component interactions and service scenarios. This paper discusses the challenges associated with this and an approach to achieving this goal. This paper also reports our progress of exploring the use of symbolic execution for service analysis, together with our research plan.