An Automated Analysis of Ping-Pong Interactions in E-mail Services

  • Authors:

  • Anne Bergeron;Jean-Christophe Manzoni

  • Affiliations:

  • -;-

  • Venue:
  • TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Feature interactions occur when the composition of two processes produces unexpected or unwanted behaviors. The problem of detecting interactions can be formalized, but the resolution of such interactions remains almost an art since specifications must be changed in a way or another. In this paper, we describe a technique that can be used to automatically propose modifications to the original specifications in order to remove unwanted interactions. We show that this technique removes sucessfully ping-pong interactions in E-mail services where messages are endlessy duplicated by a careless user or a distribution list.