Testing Against Some Eventuality Properties of Synchronous Software: A Case Study

@article{Bousquet2004TestingAS,
  title={Testing Against Some Eventuality Properties of Synchronous Software: A Case Study},
  author={Lydie du Bousquet and Farid Ouabdesselam and Jean-Luc Richier and Nicolas Zuanon},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2004},
  volume={88},
  pages={105-121}
}
In this article, we study a tentative approach to the problem of software validation against some eventuality properties in a synchronous context. This approach is based on an automated functional testing tool whose various testing methods are well-adapted to statistical predictions. The main results are drawn from a telephone feature validation benchmark… CONTINUE READING