Publications

2010

Cristiano Bertolini, Alexandre Mota, Eduardo Aranha and Cristiano Ferraz. GUI Testing Techniques Evaluation by Designed Experiments. Third International Conference on Software Testing, Verification and Validation (ICST2010). April 6-10, Paris, France, 2010.

2009

SAMPAIO, A. C. A. ; Sidney Nogueira ; Alexandre Cabral Mota . Compositional Verification of Input Output Conformance via CSP Refinement Checking . In: ICFEM - International Conference on Formal Engineering Methods, 2009 , Rio de Janeiro. International Conference on Formal Engineering Methods. Berlin : Springer Verlag - Lecture Notes in Computer Science, 2009.

Cristiano Bertolini and Alexandre Mota. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009). November 23-27, 2009, Hanoi, Vietnam.

Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio. Test Case Prioritization based on Data Reuse: An Experimental Study. In the Proceedings of the 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). October 15-16, 2009, Lake Buena Vista, Florida, USA.

Juliana Mafra, Breno Miranda, Juliano Iyoda and Augusto Sampaio.. Test Case Selector: Uma Ferramenta para Seleção de Testes. In: Brazilian Workshop on Systematic and Automated Software Testing. August, 2009, Gramado, RS, Brazil [PDF] 

Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. Wiley, May, 2009.

Rodrigo Bonifácio and Paulo Borba. Modeling Scenario Variability as Crosscutting Mechanisms. 8th International Conference on Aspect-Oriented Software Development. March 2-6, 2009, Charlottesville, Virginia, USA. [PDF] 

Márcio Ribeiro and Paulo Borba. Improving Guidance when Restructuring Variabilities in Software Product Lines. 13th European Conference on Software Maintenance and Reengineering (CSMR 2009). March 24-27, 2009, Kaiserslautern, Germany.[PDF]

Cristiano Bertolini, Gláucia Peres, Marcelo d`Amorim, Alexandre Mota.An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009). 1-4 April 2009, Denver, Colorado, USA. [PDF]

2008

Eduardo Aranha and Paulo Borba. ManualTEST: Improving Collection of Manual Test Execution Data in Empirical Studies. Proceedings of the 5th Experimental Software Engineering Latin American (ESELAW 2008), November 5-7, Salvador, Bahia, Brazil, 2008. [PDF]

Cristiano Bertolini, Alexandre Mota. Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados. Revista IEEE América Latina. Vol.:6, Iss.:3, July 2008, ISSN: 1548-0992.

Clélio Feitosa, Glaucia Peres, and Alexandre Mota. Unificando Modelos de Casos de Teste e de Requisitos. Revista IEEE América Latina. Vol.:6, Iss.:3, July 2008, ISSN: 1548-0992.

Lucas Lima, Juliano Iyoda, and Augusto Sampaio. A Permutation Technique for Test Case Prioritization in a Black-box Environment. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

Eduardo Aranha, Filipe Almeida, Thiago Diniz, Vitor Fontes, and Paulo Borba. Automated test execution effort estimation based on functional test specifications. In Tools Session of the XXII Brazilian Symposium on Software Engineering (SBES 2008), Campinas, Brazil, October 2008 [PDF]

Francisco Neto, Emanuela Cartaxo, Patricia Machado, and João Ouriques. Reducing the Size of Test Cases Based on Similarities. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

Wilkerson Andrade, and Patricia Machado. Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

Emanuela Cartaxo, Patrícia Machado, Francisco Neto, and João Ouriques. Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. 22nd Brazilian Symposium on Software Engineering (SBES 2008). October 13-17, 2008, Campinas, São Paulo, Brazil. [PDF]

Rodrigo Bonifácio, and Paulo Borba. Towards a Crosscutting Approach for Variability Management. SPLC Doctoral Symposium. September 8-12, 2008, Limerick, Ireland. [PDF]

Antonia Bertolino,  Emanuela Cartaxo, Patrícia Machado, and Eda Marchetti. Weighting Influence of User Behavior in Software Validation. 1st International Workshop on Computer Users’ Behaviour (CUB08).  September 1-5, 2008, Turing, Italy. [PDF]

Sidney Nogueira, Augusto Sampaio and Alexandre Mota. Guided Test Generation from CSP Models. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008).  September 1-3, 2008, Istanbul, Turkey. [PDF]

Augusto Sampaio, Juliano Iyoda, and Flavia Falcao. Multiple Synchrony in MSC. Brazilian Symposium on Formal Methods (SBMF 2008). August 26-29, 2008. Salvador, Bahia, Brazil. [PDF]

Eduardo Aranha and Paulo Borba. Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. International Conference on Software Process 2008 (ICSP 2008).  May 10-11, 2008, Leipzig, Germany. [PDF]

Rodrigo Bonifácio, Paulo Borba and Sérgio Soares. On the Benefits of Scenario Variability as Crosscutting. EA - Early Aspects Workshop (co-located with the Seventh International Conference on Aspect-Oriented Software Development).  March 31st - April 4th, 2008, Brussels, Belgium. [PDF]

Emanuela Cartaxo, Wilkerson Andrade, Francisco Neto and Patrícia Machado. LTSBT: A Tool to Generate and Select Functional Test Cases for Embedded Systems. 23rd Annual ACM Symposium on Applied Computing (SAC'2008).  March 16-20, 2008, Fortaleza, Ceará, Brazil. [PDF]

Márcio Ribeiro, Pedro Matos and Paulo Borba. A Decision Model for Implementing Product Lines Variabilities. 23rd Annual ACM Symposium on Applied Computing (SAC'2008).  March 16-20, 2008, Fortaleza, Ceará, Brazil. [PDF]

Cristiano Bertolini and Alexandre Mota. Using Refinement Checking as System Testing. 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).  February 11-15, 2008, Recife, Pernambuco, Brazil. [PDF]

Clélio Feitosa, Glaucia Peres and Alexandre Mota. Unifying Models of Test Cases and Requirements. 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).  February 11-15, 2008, Recife, Pernambuco, Brazil. [PDF]

2007

Sidney Nogueira, Emanuela Cartaxo, Dante Torres, Eduardo Aranha and Rafael Marques. Model Based Test Generation: An Industrial Experience. First Brazilian Workshop on Systematic and Automated Software Testing.  October 19, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Dante Torres, Eduardo Aranha, Emanuela Cartaxo, Sidney Nogueira, Alexandre Mota, Augusto Sampaio, Flávia Barros, Patrícia Machado and Paulo Borba. Brazil Test Center Research Group. First Brazilian Workshop on Systematic and Automated Software Testing (Research Group Presentation Track).  October 19, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Márcio Ribeiro, Pedro Matos, Paulo Borba and Ivan Cardim. On the Modularity of Aspect-Oriented and Other Techniques for Implementing Product Lines Variabilities. II Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007).  15 - 16 October, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Patrícia Machado and Wilkerson Andrade. The Oracle Problem for Testing against Quantified Properties. International Workshop on Software Test Evaluation (STEV 2007).  October 12, 2007, Portland, Oregon, USA. [PDF]

Emanuela Cartaxo, Francisco Neto and Patrícia Machado. Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems. IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007).  7 - 10 October, 2007, Montreal, Quebec, Canada. [PDF]

Gláucia Peres and Alexandre Mota. A Tool to Translate CSP Models into English Requirements. Second Brazilian Software Test Meeting (EBTS 2007).  6 - 7 October, 2007, Recife, Pernambuco, Brazil. [PDF]

Borba, Paulo; Torres, Dante; Marques, Rafael; Wetzel, Luiz. TaRGeT: Test and Requirements Generation Tool. In Motorola's 2007 Innovation Conference (IC'2007), Software Expo Session, Lombard, Illinois, USA, October 5. [DOC]

Emanuela Cartaxo, Francisco Neto and Patrícia Machado. Test Case Selection Using Similarity Function. Workshop on Model-based Testing in 37th Annual Congress of the Gesellschaft fuer Informatik.  September 27, 2007, Bremen, Germany. [PDF]

Eduardo Aranha and Paulo Borba. Estimation Model for Test Execution Effort. International Symposium on Empirical Software Engineering and Measurement (ESEM 2007). 20 - 21 September, 2007. Madrid, Spain. [PDF]

Laisa Nascimento and Patricia Machado. An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain. Workshop on Domain-Specific Approaches to Software Test Automation (ACM-DoSTA).  September 4, 2007. Dubrovnik, Croatia. [PDF]

Daniel Leitão, Dante Torres and Flávia Barros. NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications. Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07). 9 - 11 July, 2007. Boston, Massachusetts, USA. [PDF]

Wilkerson Andrade, Francisco Neto e Patrícia Machado. Geração de Casos de Teste de Interrupção para Aplicações de Celulares. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC'2007), Workshop de Teste e Tolerância a Falhas. 28 de Maio a 01 de Junho, 2007. Belém, Pará, Brasil. [PDF] (portuguese)

2006

Elifrancis Soares and Alexandre Vasconcelos. Adaptando o RUP para Análise de Cobertura de Código. I SBTS – Simpósio Brasileiro de Testes de Software [DOC] (portuguese)

Flávia Barros, Dante Torres and Daniel Leitao. Motorola SpecNL: a Hybrid System to Generate NL Descriptions from Test Case Specifications. 6th International Conference on Hybrid Intelligent Systems (HIS 06') and 4th Conference on Neuro-Computing and Evolving Intelligence (NCEI 06'). 13-15 December 2006, AUT Technology Park, Auckland, New Zealand. [PDF]

Figueiredo, André; Patrícia, Machado; Andrade, Wilkerson. Generating Integration Test Cases for Mobile Phone Systems from Use Case Specifications. 2nd Workshop on Advances in Model-based Software Testing (A-Most'06) in the 17th IEEE International Symposium on Software Reliability Engineering. November 7, 2006, Raleigh, North Carolina, USA [PDF]

Eduardo Aranha, Paulo Borba and José Mario Lima. Model Simulation for Test Execution Capacity Estimation. The 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). 6-10 November 2006 - Raleigh, North Carolina, USA. [DOC]

Eduardo Aranha and Paulo Borba. Measuring Test Execution Complexity. 2nd International PRedictOr Models In Software Engineering Workshop (PROMISE 2006). September 24, 2006, Philadelphia, Pennsylvania USA.

Patricia Ferreira, Augusto Sampaio and Alexandre Mota. Viewing CSP Specification with UML-RT Diagrams. Brazilian Symposium on Formal Methods (SBMF 2006). 17 - 23 September, 2006. Natal, RN, Brazil. [PDF]

Gustavo Cabral and Augusto Sampaio. Formal Specification Generation from Requirement Documents. Brazilian Symposium on Formal Methods (SBMF 2006). 17 - 23 September, 2006. Natal, RN, Brazil. [PDF]

Eduardo Aranha and Paulo Borba. Considering test execution complexity for estimation test execution effort: Research plan. 1st International Doctoral Symposium on Empirical Software Engineering (IDoESE 2006). September 20, 2006, Rio de Janeiro, Brazil.

Paulo Borba, Dante Torres, Rafael Marques and Jose Mario Lima. TaRGeT - Test and Requirement Generation Tool. Motorola S3 Symposium - Internal Tools Fair. September 12, 2006, Itasca, Illinois. [DOC]

Elifrancis Soares and Alexandre Vasconcelos. Um processo de teste de cobertura alinhado ao processo de desenvolvimento de software em aplicações embarcadas. IV Workshop de Teses e Dissertações em Qualidade de Software (WTDQS 2006), 31 de maio de 2006 - Vila Velha - ES. [PDF] (portuguese)

Augusto Sampaio. Test sequence generation from process algebra use models. International Federation for Information Processing - Working Group 2.3 (Programming Methodology). IFIP WG 2.3 meeting 45. 13-17 March 2006. Bruges, Belgium.

2010

Leopoldo Texeira. Verification and Refactoring of Configuration Knowledge for Software Product Lines. Federal University of Pernambuco, January 2010 [PDF]

Lucas Lima. Test Case Prioritization Based on Data Reuse for Black-box Environments. Federal University of Pernambuco, August 2009 [PDF]

Makelli Jucá. Uma estratégia para a escrita de cenários de casos de uso voltados à geração automática de casos de teste Federal University of Campina Grande, May 2009 [PDF] (portuguese)

Leonardo Lima. Class-Test: Classificação automática de testes para auxílio à criação de suítes de teste Federal University of Pernambuco, April 2009 [PDF] (portuguese)

Glaucia Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios Federal University of Pernambuco, February 2009 [PDF]

2008

Davi Gadelha. EvolUniT: Geração e Evolução de Testes de Unidade em Java utilizando Algoritmos Genéticos. Federal University of Pernambuco, July 2008 [PDF] (portuguese)

João dos Prazeres. NLScripts: Composição Assistida de Scripts de Testes a Partir de Descrições em Linguagem Natural. Federal University of Pernambuco, June 2008 [PDF] (portuguese)

Laísa Nascimento. Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas. Federal University of Campina Grande, February 2008  [PDF] (portuguese) 

Márcio Ribeiro. Restructuring Test Variabilities in Software Product Lines. Federal University of Pernambuco, February 2008  [PDF]

2007

Euclides N. Arcoverde Neto. Abordagem para Geração Automática de Código para Framework de Automação de Testes. Federal University of Pernambuco , Agosto 2007  [PDF] (portuguese) 

Elifrancis Soares. Adaptação do Processo de Desenvolvimento de Software para a Análise de Cobertura de Código. Federal University of Pernambuco , May 2007  [PDF] (portuguese) 

Clélio Feitosa. Modelling and Integrating Formal Models: from Test Cases and Requirements Models. Federal University of Pernambuco, May 2007  [PDF]

Wilkerson Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares. Federal University of Campina Grande, March 2007  [PDF] (portuguese)

2006

Emanuela Gadelha. Geração de Casos de Teste Funcional para Aplicações de Celulares. Federal University of Campina Grande , October 2006  [PDF] (portuguese) 

Sidney Nogueira. Geração Automática de Casos de Teste CSP Orientada por Propósitos. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Dante Torres. SpecNL: Uma Ferramenta para Gerar Descrições em Linguagem Natural a partir de Especificações de Casos de Teste. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Daniel Leitão. NLForSpec: Uma Ferramenta para Geração de Especificações Formais a Partir de Casos de Teste em Linguagem Natural. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Gustavo Cabral. Formal Specification Generation from Requirement Documents. Federal University of Pernambuco, September 2006  [PDF]

Patrícia Muniz. Geração Automática de Diagramas UML-RT a partir de Especificações CSP. Federal University of Pernambuco, September 2006  [PDF] (portuguese)