Model-Based Testing Through a GUI

  title={Model-Based Testing Through a GUI},
  author={Antti Kervinen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen and Mika Katara},
So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally important application area, which introduces new challenges. In this paper, we introduce a new methodology for model-based GUI testing. This includes using Labeled Transition Systems (LTSs) in conjunction with action word and keyword techniques for test modeling. We have also conducted an industrial case study where we tested a… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 14 references

Action figures

  • H. Buwalda
  • STQE Magazine, March/April 2003
  • 2003
Highly Influential
4 Excerpts

A new parallel composition operator for verification tools

  • K. Karsisto
  • Doctoral dissertation, Tampere University of…
  • 2003
1 Excerpt

Lessons Learned in Software Testing

  • C. Kaner, J. Bach, B. Pettichord
  • Wiley
  • 2001
1 Excerpt

Finite state model-based testing on a shoestring. (Software Testing, Analysis, and Review Conference (STARWEST

  • H. Robinson
  • 1999
2 Excerpts

Similar Papers

Loading similar papers…