A model-to-implementation mapping tool for automated model-based GUI testing

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

Volumn 3785 LNCS, Issue , 2005, Pages 450-464

  Paiva, Ana C R ^a   Faria, João C P ^a,b   Tillmann, Nikolai ^c   Vidal, Raul A M ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

^c MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; MAPPING TOOL; SOFTWARE APPLICATIONS;

COMPUTER SIMULATION; CONFORMAL MAPPING; FORMAL LOGIC; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33646774696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576280_31     Document Type: Conference Paper

References (11)

1. F. Belli, "Finite State Testing and Analysis of Graphical User Interfaces", ISSRE 2001 - The 12th International Symposium on SW Reliability Engineering, Hong Kong, 2001.
2. C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes, "Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer", Microsoft Research MSR-TR-2005-59, May 2005.
3. M. Barnett, K. R. M. Leino, and W. Schulte, "The Spec# Programming System: An Overview", CASSIS'04 - International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, 2004.
4. A. C. R. Paiva, N. Tillmann, J. C. P. Faria, and R. F. A. M. Vidal, "Modeling and Testing Hierarchical GUIs", ASM 2005 - 12th International Workshop on Abstract State Machines, Paris - France, 2005.
5. Y. Gurevich, "Evolving Algebras 1993: Lipari Guide," in Specification and Validation Methods, E. Brger, Ed.: Oxford University Press, 1995, pp. 9-36.
6. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes, "Generating Finite State Machines from Abstract State Machines", ISSTA 2002, International Symposium on SW Testing and Analysis, 2002.
7. A. M. Memon, M. L. Soffa, and M. E. Pollack, "Coverage Criteria for GUI Testing", 8th European SW Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of SW Engineering (FSE-9), 2001.
8. R. K. Shehady and D. P. Siewiorek, "A Method to Automate User Interface Testing Using Variable Finite State Machines", 27th International Symposium on Fault-Tolerant Computing, 1997.
9. S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test selection based on finite state models", IEEE Transactions on SW Engineering, vol. 17, pp. 591-603, 1991.
10. A. M. Memon, M. E. Pollack, and M. L. Soffa, "Hierarchical GUI Test Case Generation Using Automated Planning", IEEE Transactions on SW Engineering, vol. 27, 2001.
11. A. Memon, I. Banerjee, and A. Nagarajan, "GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing", WCRE2003 - The 10th Working Conference on Reverse Engineering, Victoria, British Columbia, Canada, 2003.