Web services are a consolidated reality of the modern Web with tremendous, increasing
impact on everyday computing tasks. They turned the Web into the largest, most accepted …

In recent years, grid technology has emerged as an important tool for solving compute‐
intensive problems within the scientific community and in industry. To further the …

IoT systems are rapidly adopted in various domains, from embedded systems to smart
homes. Despite their growing adoption and popularity, there has been no thorough study to …

Modern version control systems, eg, GitHub, include bug tracking mechanisms that
developers can use to highlight the presence of bugs. This is done by means of bug reports …

Detecting and diagnosing HVAC faults is critical for maintaining building operation
performance, reducing energy waste, and ensuring indoor comfort. An increasing …

Software engineers often use record/replay tools to enable the automated testing of web
applications. Tests created in this manner can then be used to regression test new versions …

The reflective middlewares have been used as a powerful tool to cope with inherent
heterogeneous nature of distributed systems, in order to give them greater adaptability …

Abstract Model-based robustness testing requires precise and complete behavioral,
robustness modeling. For example, state machines can be used to model software behavior …

通过分析服务组合的故障需求, 给出服务组合故障处理的框架. 该框架采用Petri
网来解决服务组合的错误发现及其处理问题. 重点讨论了可用服务失败, 组件失败及网络故障的 …

Service compositions represent an important family of self-adaptive systems. Though many
approaches for monitoring and adapting service compositions have already been proposed …