Visual abstract notation for gui modelling and testing: VAN4GUIM

ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies

Volumn SE, Issue GSDCA/M/-, 2008, Pages 104-111

  Moreira, Rodrigo M L M ^a   Paiva, Ana C R ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

GUI modelling; GUI testing; Test coverage criteria; UML profiles; Visual GUI modelling

Indexed keywords

GUI MODELLING; GUI TESTING; TEST COVERAGE CRITERIA; UML PROFILES; VISUAL GUI MODELLING;

ABSTRACTING; TESTING;

GRAPHICAL USER INTERFACES;

EID: 57649210773     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Barnett, M., Deline, R., Jacobs, B., Fähndrich, M., Leino, K. R. M., Schulte, W. & Venter, H. (2005) The Spec# Programming System: Challenges and Directions. VSTTE2005.
2. Blankenhorn, K. (2004) A UML Profile for GUI Layout. Department of Digital Media. University of Applied Sciences Furtwangen.
3. Blankenhorn, K. & Walter, W. (2004) Extending UML to GUI Modeling. IN R. KEIL-SLAWIK, H. S., G. SZWILLUS (Ed.) Mensch & Computer 2004. Allgegenwärtige Interaktion, München, Oldenbourg Verlag.
4. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N. & Veanes, M. (2005) Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Microsoft Research.
5. Constantine, L. L. (2003) Canonical Abstract Prototypes for Visual and Interaction Design. Interactive Systems. Design, Specification and Verification DSV-IS'03. Springer LNCS 2844.
6. Nunes, N. J. & Cunha, J. F. E. (2000) Towards a UML profile for interaction design: the Wisdom approach. IN SELIC, A. E. A. S. K. A. B. (Ed.) Third International Conference. York, UK, Springer.
7. Paiva, A. C. R. (2007) Automated Specification-Based Testing of Graphical User Interfaces. Department of Electrical and Computer Engineering. Porto, Engineering Faculty of Porto University (Ph.D thesis).
8. Paterno, F., Mancini, C. & Meniconi, S. (1997) ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. Interact'97.
9. Silva, J. L., Campos, J. C. & Paiva, A. C. R. (2007) Model-based user interface testing with Spec Explorer and ConcurTaskTrees. 2nd International Workshop on Formal Methods for Interactive Systems. Lancaster, UK.
10. Silva, P. P. D. & Paton, N. W. (2000) UMLi: The Unified Modeling Language for Interactive Applications. Third International Conference UML2000 - The Unified Modeling Language. Advancing the Standard.
11. Utting, M. & Legeard, B. (2007) Practical Model-Based Testing: A Tools Approach, San Francisco, Morgan Kaufmann Publisher.
12. Vanderdonckt, J., Limbourg, Q., Michotte, B., Bouillon, L., Trevisan, D. & Florins, M. (2004) USIXML: a User Interface Description Language for Specifying Multimodal User Interfaces. WMI'04: Proceedings of the W3C Workshop on Multimodal Web Applications.