Using Probabilistic Model Checking to Evaluate GUI Testing Techniques

@article{Bertolini2009UsingPM,
  title={Using Probabilistic Model Checking to Evaluate GUI Testing Techniques},
  author={Cristiano Bertolini and Alexandre Mota},
  journal={2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
  year={2009},
  pages={115-124}
}
Different testing techniques are being proposed in software testing to improve systems quality and increase development productivity. However, it is difficult to determine from a given set of testing techniques, which is the most effective testing technique for a certain domain, particularly if they are random-based. We are proposing a strategy and a framework that can evaluate such testing techniques. Our framework is defined compositionally and parametrically. This allows us to characterize… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

The Design and Analysis of Computer Experiments

  • T. J. Santner, B. Williams, W. Notz
  • 2003
Highly Influential
5 Excerpts

Arabbaygi. A Bayesian Framework for Software Regression Testing

  • S M.
  • 2008
2 Excerpts

Similar Papers

Loading similar papers…