An Automated Analysis of Ping-Pong Interactions in E-mail Services
Abstract elided by the publisher.
Related papers
- Memory access scheduling to reduce thread migrations CC 2022
- Reachability Analysis for AWS-Based Networks CAV 2019
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016
- Automated Flaw Detection for Industrial Robot RESTful Service VMCAI 2025
- Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks CAV 1996
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures TACAS 2012
- Work stealing for interactive services to meet target latency PPoPP 2016
- Static analysis of aspect interaction and composition in component models GPCE 2011