Journal and Conference Papers

2012

  • ANDRADE, WILKERSON L. ; Machado, Patrícia D. L. . Testing interruptions in reactive systems. Formal Aspects of ComputinG, v. 24, p. 331-353, 2012.
  • ANDRADE, W. L. ; Diego Rodrigues Almeida ; CANDIDO, J. B. ; Machado, Patrícia D. L. . SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 31-37.
  • Julio Henrique Rocha ; Everton Alves ; Machado, Patrícia D. L. . PriorJ - Priorização Automática de Casos de Teste JUnit. In: CBSoft Sessão de Ferramentas 2012, 2012, Natal. Ferramentas 2012 - XIX Sessão de Ferramentas, 2012. v. 4. p. 44-50.
  • ANDRADE, J. S. ; ANDRADE, L. R. ; Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . Automating Test Case Creation and Execution for Embedded Real-time Systems. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. v. 13. p. 53-62.
  • ARAUJO, J. D. S. ; CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . Controlando a Diversidade e a Quantidade de Casos de Teste na Geração Automática a partir de Modelos com Loop. In: CBSoft - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. CBSoft/SAST 2012 - VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado. p. 53-62.
  • LEDO, A. ; RAMALHO, F. ; MELO, N. V. . MetaTT - A Metamodel Based Approach for Writing Textual Transformations. In: SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012, nATAL. Proceedings of SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012
  • VIEIRA, C. ; RAMALHO, F. . WSMDA Um Framework para Executar Transformações MDA como Web Services. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012. Anais do Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012.
  • GONDIM, D. ; RAMALHO, F. ; FARIAS, A. . UCL Uma Linguagem Unificada para Construção de Compiladores. In: II Workshop de Teses e Dissertações do CBSoft, 2012, Natal. Anais do II Workshop de Teses e Dissertações do CBSoft, 2012.
  • VIEIRA, A. ; RAMALHO, F. . Identifying Guidelines for Constructing Metamodels. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.
  • RABELO JUNIOR, S. ; RAMALHO, F. ; Serey, D. . Design Tests for Verifying UML Sequence Diagrams against Java Code. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.

2011

  • Rodrigues, Cássio L. ; Silva, Karina R. G. ; Cunha, Henrique N. ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems
  • , p. 1, 2011
  • CAVALCANTI, D. T. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . A Case Study on the SImilariry Between Source Code and Bug Report Vocabularies. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 1-8.
  • SANTOS, Katyusco F. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Understanding the Occurrence of Vocabulary Terms in Java Code.. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011, Curitiba. VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. v. 1. p. 565-570.
  • MONTEIRO, João Arthur Brunet ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. . Structural Conformance Checking with Design Tests: An Evaluation of Usability and Scalability. In: International Conference on Software Maintenance - ICSM2011, 2011, Williamsburg, VA. Proceedings of the 2011 International Conference on Software Maintenance - ICSM 2011, 2011. v. 1. p. 143-149.
  • Moutinho, F. ; Gomes, L. ; Paulo E. S. Barbosa ; BARROS, J. P. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Costa, A. ; MONTEIRO, A. . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. : Springer Boston, 2011, v. 349, p. 237-245.
  • Paulo E. S. Barbosa ; BARROS, J. P. ; Ramalho, Franklin. ; Gomes, L. ; Jorge C. A. de Figueiredo ; Moutinho, F. ; Costa, A. ; MONTEIRO, A. . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. : Springer Boston, 2011, v. 349, p. 256-265.
  • VIEIRA, A. ; Ramalho, Franklin. . A Static Analyser for Model Transformations. In: 3rd International Workshop on Model Transformation with ATL (co-located with TOOLS 2011 Federated Conferences), 2011, Zurich. Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011. v. 742. p. 75-88.
  • ALVES, E. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Diretrizes para Modelagem Independente de Plataforma de Sistemas de Tempo Real usando UML. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
  • ALVES, E. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Arquiteturas de Teste para Sistemas de Tempo Real. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
  • VIEIRA, C. ; PAES, C. ; Ramalho, Franklin. . WSMDA - A Framework to Provide MDA Operations as Web Services. In: Brazilizan Workshop on Model-Driven Software Development, 2011, São Paulo. Proceeding of the II Brazilizan Workshop on Model-Driven Software Development, 2011.
  • CARTAXO, Emanuela Gadelha ; MACHADO, PATRICIA D. L. ; Oliveira Neto, Francisco Gomes de . On the use of a similarity function for test case selection in the context of model-based testing. Software Testing, Verification & Reliability
  • , v. 21, p. 75-100, 2011.
  • ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. ; Hervé Marchand ; Jéron, Thierry . Abstracting Time and Data for Conformance Testing of Real-Time Systems. In: 7th Workshop on Advances in Model Based Testing - AMOST 2011, 2011, Berlin. IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. p. 9-17.
  • Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Machado, Patrícia D. L. . RealTimePCO - A Tool for Real-Time Embedded Systems Testing Execution. In: Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011, São Paulo. Sessão de Ferramentas do Congresso Brasileiro de Software - CBSOFT 2011, 2011.
  • Oliveira Neto, Francisco Gomes de ; Machado, Patrícia D. L. . WSA-RT: Uma Técnica para a Seleção de Casos de Teste de Regressão baseados na Especificação do Sistema. In: Systematic and Automated Software Testing - SAST 2011, 2011, São Paulo. V Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2011.
  • SOARES, G. ; CATÃO, B. ; VARJÃO, C. ; AGUIAR, S. ; GHEYI, R. ; MASSONI, T. L. . Analyzing Refactorings on Software Repositories. In: Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo. Simpósio Brasileiro de Engenharia de Software, 2011.

2010

  • CARELLI, Mirna ; BITTENCOURT, Roberto Almeida ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . The Hybrid Technique for Object-Oriented Software Change Impact Analysis. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 252-255.
  • LEDO, Anderson ; Waldemar P. F. Neto ; Ramalho, Franklin ; Guerrero, Dalton D. S. . Checking UML Design Patterns in Java Implementations. In: SBCARS - Brazilian Symposium on Software Components, Architectures and Reuse, 2010, Salvador. Proceedings of the SBCARS 2010, 2010
  • Soares, G. A. ; Gheyi, R. ; GUERRERO, D. D. S. ; Massoni, T. L. . Making program refactoring safer. IEEE Software
  • , v. 27, p. 52-57, 2010.
  • Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; Evandro B. da Costa . Dealing with Requirements Specification: A Case Study with Novice Programming Students. IEEE multidisciplinary engineering education magazine, v. 5, p. 3-10, 2010.
  • Gomes e Souza, R. R. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Modular Network Models for Class Dependencies in Software. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 245-249.
  • Nascimento, M. R. ; Andréa P Mendonça ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Teaching Programming for High School Students: A Distance Education Experience. In: 40th Annual Frontiers in Education Conference, 2010, Washingtog DC, USA. Proceedings of the 40th Annual Frontiers in Education Conference, 2010. p. F1J-1-F1J-6.
  • BITTENCOURT, Roberto Almeida ; SANTOS, G. J. S. ; GUERRERO, D. D. S. ; MURPHY, Gail. C. . Improving Automated Mapping in Reflexion Models using Information Retrieval Techniques. In: WCRE 2010 - 17th Working Conference on Reverse Engineering, 2010, Beverly, Massachussets, USA. Proceedings of the 17th Working Conference on Reverse Engineering. Los Alamitos: IEEE CS Press, 2010. p. 163-172.
  • Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior ; Costa, A. ; Gomes, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science
  • , v. 15, p. 2196-2224, 2009.
  • Costa, A. ; Paulo E. S. Barbosa ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis (Eds.). (Org.). Emerging Trends in Technological Innovation. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 241-250.
  • Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Costa, A. ; Gomes, L. ; Antonio D. dos S. Junior . Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). Emerging Trends in Technological Innovation. Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 251-260.
  • Paulo E. S. Barbosa ; Costa, A. ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . A MDA-based Contribution for Integrating Web Services within Embedded System s Design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka. Proceedings of the 8th IEEE International Conference on Industrial Informatics, 2010.
  • Moutinho, F. ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; BARROS, J. P. ; Paulo E. S. Barbosa ; PAES, R. ; Costa, A. . Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, 2010, Phoeniz, AZ. Proceedings of the 36th Annual Conference of the IEEE Industrial Electronics Society, 2010.
  • VIEIRA, A. ; Ramalho, Franklin. ; MACHADO, P. ; LEAL, F. . Applying Data Mining Techniques to Semi-Automatically Discover Guidelines for Metamodels. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of theI Brazilian Workshop On Model-Driven Development, 2010.
  • LEDO, A. ; MELO, N. ; Ramalho, Franklin. . Guidelines for Improving Model To Text Transformations. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of the I Brazilian Workshop On Model-Driven Development, 2010.
  • ROCHA, A. C. O. ; MACHADO, P. ; Ramalho, Franklin. . Automating Inspection of Design Models Guided by Test Cases. In: 22 IFIP International Conference on Testing Software and Systems, 2010, Natal. Proc. of the 22 IFIP International Conference on Testing Software and Systems, 2010.
  • NETO, W. ; Ramalho, Franklin. ; LEDO, A. ; GUERRERO, D. . Checking UML Design Patterns in Java Implementations. In: Brazilian Symposium on Software Components, Architectures and Reuse, 2010, Salvador. Proceedings of the SBCARS 2010, 2010.
  • ALVES, E. ; MACEDO, A. ; ANDRADE, W. ; MACHADO, P. ; Ramalho, Franklin. . Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal. Proceedings of the 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010.
  • MACIEL, C. L. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Automação de Padrões de Teste para a Geração de Casos de Teste de Integração usando MDA. In: VIII Latin American Conference on Pattern Languages of Programming, 2010, Salvador. VIII Latin American Conference on Pattern Languages of Programming, 2010.
  • Machado, Patrícia D. L. ; Vicenzi, Auri ; Maldonado, José Carlos . Software Testing: An Overview. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). Berlim: Springer, 2010, v. 6153, p. 1-17.
  • Machado, Patrícia D. L. ; SAMPAIO, Augusto César Alves . Automatic Test-Case Generation. In: Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. (Org.). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). Testing Techniques in Software Engineering (Lecture Notes in Computer Science). 1ed.Berlim: Springer, 2010, v. 6153, p. 59-103.
  • Bertolino, Antonia ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. ; Marchetti, Eda . Test Suite Reduction in Good Order: Comparing Heuristics from a New Viewpoint. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 13-18.
  • Macedo, Augusto Q. ; ANDRADE, Wilkerson de Lucena ; Rodrigues, Diego ; Machado, Patrícia D. L. . Automating Test Case Execution for Real-Time Embedded Systems. In: IFIP International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Canadá: CRIM, 2010. p. 37-42
  • Ouriques, João Felipe ; CARTAXO, Emanuela Gadelha ; Machado, Patrícia D. L. . Comparando Técnicas de Priorização de Casos de Teste no Contexto de Teste baseado em Modelos. In: IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. Proceedings of the IV Brazilian Workshop on Systematic and Automatic Software Testing (SAST 2010), 2010. p. 69-78.
  • Falconieri Freitas, Gabriel ; Cornélio, Márcio ; MASSONI, T. L. ; Gheyi, Rohit . Object-oriented Programming Laws for Annotated Java Programs. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 65-76, 2010.
  • GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Automatically Checking Feature Model Refactorings. Journal of Universal Computer Science (Print)
  • , v. 17, p. 684-711, 2010.
  • MASSONI, T. L. ; GHEYI, R. ; BORBA, P. . Synchronizing Model and Program Refactoring. In: Brazilian Symposium on Formal Methods, 2010, Natal. Brazilian Symposium on Formal Methods, 2010.

2009

  • MONTEIRO, João Arthur Brunet ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Design Tests: An Approach to Programmatically Verify the Design of your Code Against Design Rules. In: 31st International Conference on Software Engineering, 2009, Vancouver. Proceedings of the 31st International Conference on Software Engineering - ICSE 2009, 2009. p. 255-258.
  • RODRIGUES, Cássio Leonardo ; Karina R. G. da Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24th Annual ACM Symposium on Applied Computing, 2009, Waikiki Beach. Proceedings of 24th Annual ACM Symposium on Applied Computing, 2009. v. 1. p. 823-827.
  • Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . Problem Oriented Programming: An Approach to Teach Programming to Beginner Students. In: VI International Conference on Engineering and Computer Education, 2009, Buenos Aires. Proceedings of the VI International Conference on Engineering and Computer Education, 2009. v. 1. p. 1-6.
  • BITTENCOURT, Roberto Almeida ; GUERRERO, D. D. S. . Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views. In: 13th European Conference on Software Maintenance and Reengineering, 2009, Kaiserslautern. Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009. v. 1. p. 1-6.
  • BITTENCOURT, Roberto Almeida ; DAMASIO, J. F. ; SANTOS, G. J. S. ; TRIGUEIRO FILHO, A. ; NOBREGA FILHO, J. M. ; FIGUEIREDO, Jorge César Abrantes de ;GUERRERO, D. D. S. . Design Suite: Towards an Open Scientific Investigation Environment for Software Architecture Recovery. In: VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009, Ouro Preto. Anais do VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software. Ouro Preto, 2009. v. 1. p. 1-8.
  • Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . An approach for problem specification and its application in an introductory programming course. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ, USA: IEEE Press, 2009. p. 1529-1534.
  • Andréa P Mendonça ; Oliveira, C. ; GUERRERO, D. D. S. ; Evandro B. da Costa . Difficulties in Solving Ill-Defined Problems: a Case Study with Introductory Computer Programming Students. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas, USA. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ: IEEE Press, 2009. p. 1171-1176.
  • Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; Evandro B. da Costa . Tratando Especificação de Requisitos com Estudantes Iniciantes de Programação. In: Fórum de Educação em Engenharia de Software do XXIII Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza, CE, Brasil. Anais do SBES 2009, 2009.
  • SOUTO, S. F. ; GUERRERO, D. D. S. . Automock: Interaction-Based Mock Code Generation. In: Latin American Depandability Computing, 2009, 2009, João Pessoa, PB, Brasil. Proceedings of the LADC 2009, 2009.
  • Soares, G. A. ; Massoni, T. L. ; CORNÉLIO, Márcio ; Guerrero, Dalton D. S. . SafeRefactor - Tool for Checking Refactoring Safety. In: Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009.
  • MACIEL, C. L. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste. In: SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. p. 1-10.
  • ROCHA, A. C. O. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009, Natal. Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009.
  • Paulo E. S. Barbosa ; Costa, A. ; Jorge C. A. de Figueiredo ; Ramalho, Franklin. ; Gomes, L. ; Antonio D. dos S. Junior . Modeling Complex Petri Nets Operations in the Model-Driven Architecture. In: The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009, Porto. Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society, 2009.
  • BARBOSA, Paulo Eduardo e Silva ; RAMALHO, Franklin ; FIGUEIREDO, J. C. A. ; JUNIOR, A.D.S. ; COSTA, Anikó ; GOMES, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science
  • , v. 15, p. 2196-2224, 2009
  • ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. ; Everton Alves ; Diego Rodrigues Almeida . Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science. Berlim: Springer, 2009. v. 5902. p. 54-69.
  • ANDRADE, Wilkerson de Lucena ; MACHADO, P. D. L. . Interruption Testing of Reactive Systems. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science). Berlin: Springer, 2009. v. 5902. p. 37-53.
  • SOARES, G. ; GHEYI, R. ; MASSONI, T. L. ; CORNÉLIO, M. ; CAVALCANTI, D. . Generating Unit Tests for Checking Refactoring Safety. In: Brazilian Symposium on Programming Languages, 2009, Gramado. Brazilian Symposium on Programming Languages, 2009. p. 159-172.

2007

  • RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; CABRAL, Jairson Marinho ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. v. 1. p. 1-12
  • LIMA, H. ; Ramalho, Franklin. ; MACHADO, P. ; ALVES, E. . Automatic Generation of Platform Independent Built-in Contract Testers. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007, Campinas. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007. p. 47-60.
  • LIMA, H. ; ALVES, E. ; Ramalho, Franklin. . Seleção e Geração Automática de Casos de Teste a partir de Diagramas de Máquina de Estados Comportamentais UML 2. In: st Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa. st Brazilian Workshop on Systematic and Automated Software Testing, 2007.
  • BARBOSA, DANIEL L. ; LIMA, HELTON S. ; MACHADO, PATRICIA D. L. ; FIGUEIREDO, JORGE C. A. ; JUCÁ, MAKELLI A. ; ANDRADE, WILKERSON L. . AUTOMATING FUNCTIONAL TESTING OF COMPONENTS FROM UML SPECIFICATIONS. International Journal of Software Engineering and Knowledge Engineering
  • , v. 17, p. 339, 2007.
  • OLIVEIRA, Elthon Allex da Silva ; LIMA, Emerson Ferreira de Araújo ; FIGUEIREDO, J. C. A. . Verifying Mobile Agent Design Patterns with RPOO. In: David Taniar. (Org.). Encyclopedia of Mobile Computing and Commerce. Encyclopedia of Mobile Computing and Commerce. Hershey, PA: Idea Group Inc., 2007, v. 1, p. 987-995.
  • LIMA, Emerson Ferreira de Araújo ; LIMA, Helton Souza ; BARBOSA, Ana Emília Victor ; MACHADO, Patrícia Duarte de Lima ; FIGUEIREDO, J. C. A. . Component-Based Integration Testing from UML Interaction Diagrams. In: The 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of the 2007 IEEE International Conference on Systems, Man, and Cybernetics, 2007.
  • BARBOSA, Paulo Eduardo e Silva ; RODRIGUES, Cássio Leonardo ; FIGUEIREDO, J. C. A. ; GUERRERO, Dalton Dario Serey . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: The 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007.
  • MACHADO, P. D. L. ; SILVA, Daniel Aguiar da ; MOTA, Alexandre Cabral . Towards Property Oriented Testing. Electronic Notes in Theoretical Computer Science, v. 184, p. 3-19, 2007.
  • Everton Alves ; LIMA, Helton Souza ; MACHADO, P. D. L. . Seleção e Geração de Casos de Teste a partir de Diagramas de Estados Comportamentais UML 2.0. Revista Pesquisa, v. 1, p. 741-748, 2007.
  • ANDRADE, Wilkerson de Lucena ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. VIII Workshop de Teste e Tolerância a Falhas (WTF 2007). Porto Alegre: SBC, 2007. v. 1. p. 129-142.
  • CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on, 2007. p. 1292-1297.
  • MACHADO, P. D. L. ; ANDRADE, Wilkerson de Lucena . The Oracle Problem for Testing against Quantified Properties. In: First International Workshop on Software Test Evaluation (STEV 2007), 2007, Portland. Quality Software, 2007. QSIC '07. Seventh International Conference on, 2007. v. 00. p. 415-418
  • CARTAXO, Emanuela Gadelha ; Oliveira Neto, Francisco Gomes de ; MACHADO, P. D. L. . Automated Test Case Selection Based on a Similarity Function. In: MOTES07 - Model-based Testing - Workshop in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, 2007, Bremen. Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft fur Informatic (GI), 2007. v. 110. p. 381-386.
  • NASCIMENTO, Laisa Helena Oliveira Do ; MACHADO, P. D. L. . An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain. In: Domain-Specific Approaches to Software Test Automation (DoSTA) - Satellite workshop of ESEC/FSE 2007, 2007, Dubrovnik. DOSTA'07 Workshop Proceedings, 2007. p. 27-33.