Model-based testing through a GUI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3997 LNCS, Issue , 2006, Pages 16-31

  Kervinen, Antti ^a   Maunumaa, Mika ^a   Pääkkönen, Tuula ^b   Katara, Mika ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SCIENCE; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

KEYWORD; LABELED TRANSITION SYSTEMS (LTSS); MODEL-BASED TESTING; TESTING TOOL;

DESIGN FOR TESTABILITY;

EID: 33746736238     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11759744_2     Document Type: Conference Paper

References (19)

1. Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. Wiley (2001)
2. Fewster, M., Graham, D.: Software Test Automation. Addison-Wesley (1999)
3. Buwalda, H.: Action figures. STQE Magazine, March/April 2003 (2003) 42-47
4. Symbian: Symbian Operating System homepage. (At URL http://www.symbian.com)
5. Virtanen, H., Hansen, H., Nieminen, J., Erkkilä, T.: Tampere verification tool. In: Proceedings of TACAS 2004. Volume 2988 of LNCS. Springer-Verlag (2004)
6. Helovuo, J., Leppänen, S.: Exploration testing. In: Proc. 2nd IEEE International Conference on Application of Concurrency to System Design. (2001) 201-210
7. Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)
8. Mercury Interactive: QuickTest Pro homepage. (At URL http://www.mercury.com)
9. Intuwave: m-Test homepage. (At URL http://www.intuwave.com)
10. Musa, J.D.: Software reliability engineering in industry. In: Proc. SAFECOMP'99. Number 1698 in LNCS, Springer-Verlag (1999)
11. Kervinen, A., Virolainen, P.: Heuristics for faster error detection with automated black box testing. In: Proc. International Workshop on Model Based Testing (MBT'04). Number 111 in Electronic Notes in Theoretical Computer Science, Elsevier (2004)
12. El-Far, I.K.: Enjoying the perks of model-based testing. In: Proc. Software Testing, Analysis, and Review Conference (STARWEST) 2001. (2001)
13. Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment. (At URL http://www.geocities.com/harry_robinson_testing/ObstaclesAndOpportunities.pdf)
14. Apfelbaum, L., Doyle, J.: Model based testing. Software Quality Week Conference (1997)
15. Robinson, H.: Finite state model-based testing on a shoestring. (Software Testing, Analysis, and Review Conference (STARWEST) 1999. At URL http://www.geocities.com/model_based_testing/shoestring.htm)
16. Ostrand, T., Anodide, A., Foster, H., Goradia, T.: A visual test development environment for GUI systems. In: ISSTA '98: Proc. 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, New York, NY, USA, ACM Press (1998) 82-92
17. Memon, A.M.: A comprehensive framework for testing graphical user interfaces. PhD thesis, University of Pittsburgh (2001)
18. Belli, F.: Finite-state testing of graphical user interfaces. In: Proc. 12th International Symposium on Software Reliability Engineering (ISSRE 2001), (IEEE CS) 34-43
19. Conformiq Software: Conformiq Test Generator homepage. (At URL http://www. conformiq.com)