Browsing by Author Ana C. R. Paiva

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 21  next >
Issue DateTitleAuthor(s)Type
2005A model-to-implementation mapping tool for automated model-based GUI testingAna C. R. Paiva; João C. P. Faria; Nikolai Tillmann; Raul A. M. VidalArtigo em Revista Científica Internacional
2013A Pattern-Based Approach for GUI Modeling and TestingRodrigo M. L. M. Moreira; Ana C. R. Paiva; Atif MemonArtigo em Livro de Atas de Conferência Internacional
2016A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri netsJoão Pascoal Faria; Ana C. R. PaivaArtigo em Revista Científica Internacional
2004Automated specification-based testing of interactive components with asmLAna C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalArtigo em Livro de Atas de Conferência Internacional
2011Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI BuilderCarlos A. L. Nunes; Ana C. R. PaivaArtigo em Livro de Atas de Conferência Internacional
2008Model-based user interface testing with Spec Explorer and ConcurTaskTreesJosé L. Silva; José Creissac Campos; Ana C. R. PaivaArtigo em Revista Científica Internacional
2005Modeling and Testing Hierarchical GUIsAna C. R. Paiva; Nikolai Tillmann; João C. P. Faria; Raul F. A. M. VidalArtigo em Livro de Atas de Conferência Internacional
2014Pattern based GUI testing for mobile applicationsPedro Costa; Miguel Nabuco; Ana C. R. PaivaArtigo em Livro de Atas de Conferência Internacional
2010PETTool: A pattern-based GUI testing toolMarco Cunha; Ana C. R. Paiva; Hugo Sereno Ferreira; Rui AbreuArtigo em Livro de Atas de Conferência Internacional
2013Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)João Pascoal Faria; Ana C. R. PaivaArtigo em Revista Científica Internacional
2008Reverse engineered formal models for GUI testingAna C. R. Paiva; Joao C. P. Faria; Pedro M. C. MendesArtigo em Livro de Atas de Conferência Internacional
2011Reverse engineering of graphical user interfacesInês Coimbra Morgado; Ana C. R. Paiva; João Pascoal FariaArtigo em Livro de Atas de Conferência Internacional
2010Reverse engineering of GUI models for testingAndré M. P. Grilo; Ana C. R. Paiva; João Pascoal FariaArtigo em Livro de Atas de Conferência Internacional
2003Specification-based testing of user interfacesAna C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalArtigo em Revista Científica Internacional
2011Test case generation from mutated task modelsAna Barbosa; Ana C. R. Paiva; José Creissac CamposArtigo em Livro de Atas de Conferência Internacional
2010Test coverage analysis of UML activity diagrams for interactive systemsRicardo D. F. Ferreira; João P. Faria; Ana C. R. PaivaArtigo em Livro de Atas de Conferência Internacional
2010Test coverage analysis of UML state machinesRicardo D. F. Ferreira; Ana C. R. Paiva; João P. FariaArtigo em Livro de Atas de Conferência Internacional
2010Testing Aspect-Oriented ProgramsRodrigo M. L. M. Moreira; Ana C. R. Paiva; Ademar AguiarArtigo em Livro de Atas de Conferência Internacional
2007Towards the integration of visual and formal models for GUI testingAna C. R. Paiva; João C. P. Faria; Raul F. A. M. VidalArtigo em Revista Científica Internacional
2008Visual abstract notation for GUI modelling and testing - VAN4GUIMRodrigo M. L. M. Moreira; Ana C. R. PaivaArtigo em Livro de Atas de Conferência Internacional