A generic library for GUI reasoning and testing

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 121-128

  Silva, João Carlos ^a   Saraiva, João ^a   Campos, José Creissac ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

Graphical user interfaces; Models; Reverse engineering; Testing

Indexed keywords

BEHAVIORAL MODEL; GENERIC LIBRARIES; GENERIC MODELS; INTERACTIVE APPLICATIONS; MODEL BASED TESTING; PROTOTYPE TOOLS; VISUAL CONTROL;

COMPUTER SCIENCE; COMPUTER SOFTWARE; FAULT DETECTION; MODELS; REENGINEERING; REVERSE ENGINEERING; TESTING;

GRAPHICAL USER INTERFACES;

EID: 72949120142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529307     Document Type: Conference Paper

References (27)

1. UMinho Haskell Software - Libraries and Tools - http://wiki.di.uminho.pt/ twiki/bin/view/research/pure/puresoftware.
2. G. Abowd, J. Bowen, Alan Dix, M. Harrison, and R. Took. User interface languages: a survey of existing methods. Technical report, Oxford University, 1989.
3. B. Berard. Systems and Software Verification. Springer edition, 2001.
4. Peter Bumbulis. Combining Formal Techniques and Prototyping in User Interface Construction and Verification. PhD thesis, University of Waterloo, 1996.
5. J. Chen and S. Subramaniam. A gui environment for testing gui-based applications in java. Proceedings of the 34th Hawaii International Conferences on System Sciences, 2001.
6. Koen Claessen and John Hughes. Quickcheck: A lightweight tool for random testing of haskell programs. In ICFP, ACM SIGPLAN, 2000, 2000.
7. Bruno d'Ausbourg, Guy Durrieu, and Pierre Roché. Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour. In DSV-IS 96. 1996.
8. Merlo E., Gagne P. Y., Girard J.F., Kontogiannis K., Hendren L.J., Panangaden P., and De Mori R. Reengineering user interfaces. IEEE Software, 12(1), 64-73, 1995.
9. Dan Heller and Paula M. Ferguson. Motif Programming Manual, volume 6A of X Window System Seris. O'Reilly & Associates, Inc., second edition, 1994.
10. Susan Horwits and Thomas Reps. The Use of Program Dependence Graphs in Software Engineering. In 14th International Conference on Software Engineering, pages 392-411, Melbourne, Australia, may 1992. ACM.
11. Simon Peyton Jones, John Hughes, Lennart Augustsson, et al. Report on the programming language haskell 98. Technical report, Yale University, February 1999.
12. Clark Edmund M. and Jeannette Wing M. Formal Methods: State of the Art and Future Directions. Carnegie mellon university edition, 1996.
13. Moore Melody. A survey of representations for recovering user interface specifications for reengineering. Technical report, Institute of Technology, Atlanta, 1996.
14. A. M. Memon. A Comprehensive Framework for Testing Graphical User Interfaces. PhD thesis, Department of Computer Science, University of PittsBurgh, july 2001.
15. Atif Memon, Ishan Banerjee, and Adithya Nagarajan. GUI ripping: Reverse engineering of graphical user interfaces for testing. Technical report, University of Maryland,USA, 2003.
16. M. M. Moore. Rule-based detection for reverse engineering user interfaces. Proceedings of the Third Working Conference on Reverse Engineering, pages 42-8, Monterey, CA, november 1996.
17. Ana C. R. Paiva, João C. P. Faria, and Pedro M. C. Mendes, editors. Reverse Engineered Formal Models for GUI Testing, 10th International Worksho on Formal Methods for Industrial Critical Systems Berlin, Germany, July 1-2, 2007.
18. Fabio Paternò. Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag, London, 2000.
19. ISO/TC159 Sub-Commitee SC4. Draft International ISO DIS 9241-11 Standard. International Organization for Standardization, September 1994.
20. R.K. Shehady and D.P. Siewiorek. A method to automate user interface testing using variable finite state machines. In Proceeding of the 27th International Symposium on Fault-Tolerant Computing, 1997.
21. J.C. Silva, José Creissac Campos, and João Saraiva. Combining formal methods and functional strategies regarding the reverse engineering of interactive applications. In DSV-IS 2006, Dublin, Irland. Springer, 2006.
22. J.C. Silva, José Creissac Campos, and João Saraiva. Models for the reverse engineering of java/swing applications. ATEM 2006, Genova, Italy, October 2006.
23. A. G. Sutcliffe. Human-Computer Interface Design. MacMillan, 2nd edition, 1995.
24. T. Systa. Dynamic reverse engineering of java software. Technical report, University of Tampere, Finland, 2001.
25. Frank Tip. A survey of program slicing techniques. Journal of Programming Languages, september 1995.
26. Eelco Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. 2003.
27. Joost Visser and Jõao Saraiva. Tutorial on strategic programming across programming paradigms. In 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil, May 2004.