Breno Alexandro Ferreira de Miranda

  • Endereço para acessar este CV: http://lattes.cnpq.br/0311224988123909
  • Última atualização do currículo em 29/12/2017


Possui doutorado em Ciência da Computação pela Universidade de Pisa (2016), mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (2011) e graduação em Licenciatura Plena em Computação pela Universidade Federal Rural de Pernambuco (2008). Atualmente, é bolsista de pós-doutorado no Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE) e colabora com o Instituto de Ciência e Tecnologia da Informação do Conselho Italiano de Pesquisa (ISTI-CNR). Tem experiência na área de Engenharia de Software com ênfase em teste de software. (Texto informado pelo autor)


Identificação


Nome
Breno Alexandro Ferreira de Miranda
Nome em citações bibliográficas
MIRANDA, B. A. F.;MIRANDA, BRENO ALEXANDRO FERREIRA DE;Miranda BAF;Miranda, B.;MIRANDA, BRENO

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Avenida Jornalista Aníbal Fernandes
Cidade Universitária
50740560 - Recife, PE - Brasil
Telefone: (81) 21268430
URL da Homepage: http://cin.ufpe.br/~bafm


Formação acadêmica/titulação


2013 - 2016
Doutorado em Ciência da Computação.
Università di Pisa, UNIPI, Itália.
Título: Redefining and Evaluating Coverage Criteria Based on the Testing Scope, Ano de obtenção: 2016.
Orientador: Antonia Bertolino.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Software Engineering; Software Testing; Coverage Testing; Relative Coverage; Testing scope; In-scope entity.
Grande área: Ciências Exatas e da Terra
2009 - 2011
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Recommender Systems for Manual Testing,Ano de Obtenção: 2011.
Orientador: Juliano Manabu Iyoda.
Palavras-chave: Software Engineering; Software Testing; Recommender Systems; Manual Testing; Test Allocation.
Grande área: Ciências Exatas e da Terra
2004 - 2008
Graduação em Licenciatura Plena em Computação.
Universidade Federal Rural de Pernambuco, UFRPE, Brasil.


Pós-doutorado


2017
Pós-Doutorado.
Universidade Federal de Pernambuco, UFPE, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2010
Fluency. (Carga horária: 40h).
Number One Idioms, ., Brasil.
2008
IN0980-TAES3/Estudos do Futuro(Disiplina Isolada). (Carga horária: 60h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2008 - 2008
Engenharia de Vendas para Empresas de Software. (Carga horária: 8h).
Profits, ., Brasil.
2008 - 2008
TPI - Test Process Improvement. (Carga horária: 4h).
Encontro Brasileiro de Testes de Software, EBTS, Brasil.
2008 - 2008
Competências-Eng. de Teste além da Dimensão Técnic. (Carga horária: 4h).
Encontro Brasileiro de Testes de Software, EBTS, Brasil.
2007 - 2007
English as a Second Language.
Mundelein High School - Illinois - USA, MHS, Estados Unidos.
2007 - 2007
Curso Preparatório para Certificação ISTQB. (Carga horária: 40h).
Qualiti Software Processes, ., Brasil.


Atuação Profissional



Consiglio Nazionale delle Ricerche, CNR, Itália.
Vínculo institucional

2013 - 2016
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador / Research Associate
Outras informações
Associado de Pesquisa (Research Associate) do ISTI-CNR (Institute of Information Science and Technologies "A. Faedo" - Italian National Research Council) - Software Engineering and Dependable Computing Laboratory.


Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco, FADE/UFPE, Brasil.
Vínculo institucional

2008 - 2013
Vínculo: Celetista formal, Enquadramento Funcional: Arquiteto de Testes de Software, Carga horária: 40

Vínculo institucional

2006 - 2008
Vínculo: Celetista formal, Enquadramento Funcional: Técnico em Testes de Software, Carga horária: 40


Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

2012 - 2012
Vínculo: , Enquadramento Funcional: Professor Assistente Nível 01, Carga horária: 20
Outras informações
Aprovado em 1º lugar no concurso para contratação de professor temporário do Departamento de Estatística e Informática da Universidade Federal Rural de Pernambuco (processo UFRPE Nº 23082.003662/2012-16). Área/Matéria(s): Introdução à Computação/Laboratório de Programação. Publicado no DOU - Seção 2 - p. 24, de 10 de Maio de 2012 - Código: 00022012051000024.

Vínculo institucional

2007 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador

Vínculo institucional

2006 - 2007
Vínculo: Participação em Empresa Jr., Enquadramento Funcional: Diretor de Tecnologia da Informação, Carga horária: 20
Outras informações
Desenvolvimento de Aplicações Web baseadas em Content Management Systems, tais como Zope/Plone, na Empresa Jr. CEDESI - Centro de Desenvolvimento de Sistemas Informatizados.

Vínculo institucional

2005 - 2006
Vínculo: Aluno de Iniciação Científica, Enquadramento Funcional: Aluno de Iniciação Científica (PIC/UFRPE), Carga horária: 20
Outras informações
Orientador: Jones Oliveira de Albuquerque Projeto de Pesquisa: Conceitos Teóricos da Computação Aplicados ao Processo de Ensino-Aprendizagem.

Vínculo institucional

2005 - 2005
Vínculo: Monitor, Enquadramento Funcional: Monitor da disciplina Introdução à Computação, Carga horária: 20
Outras informações
Atividades na monitoria: Atuar na preparação de material didático e ministrar aulas teóricas e práticas.

Vínculo institucional

2005 - 2005
Vínculo: Monitor, Enquadramento Funcional: Monitor da disciplina Matemática Discreta, Carga horária: 20
Outras informações
Atividades na monitoria: Atuar na preparação de material didático e ministrar aulas teóricas e práticas.

Atividades

03/2008 - 08/2008
Estágios , Departamento de Estatística e Informática, .

Estágio realizado
Professor da disciplina Elementos de Informática na Turma de Licenciatura Plena em Computação..

Faculdade Joaquim Nabuco, FJN, Brasil.
Vínculo institucional

2011 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 10

Atividades

11/2011 - 05/2012
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Gerência de Projeto de Sistemas
Teste de Software
Tópicos Integradores II

Sociedade de Ensino Superior da Escada, SOESE, Brasil.
Vínculo institucional

2005 - 2006
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

03/2005 - 03/2006
Ensino,

Disciplinas ministradas
Informática Educacional (6º ano A)
Informática Educacional (6º ano B)
Informática Educacional (7º ano A)
Informática Educacional (7º ano B)
Informática Educacional (8º ano)
Informática Educacional (9º ano)

Delegacia da Receita Federal, DRF/REC-PE, Brasil.
Vínculo institucional

2004 - 2006
Vínculo: Estágio, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

Atividades

11/2004 - 04/2006
Estágios , SEPOL, .

Estágio realizado
Desenvolvimento e suporte técnico de Programas e Aplicações que facilitem e/ou automatizem os serviços prestados pelo Serviço de Programação e Logística da Delegacia da Receita Federal em Recife..


Projetos de pesquisa


2014 - 2016
Learn PAd - Model-Based Social Learning for Public Administrations
Descrição: Projeto financiado pela Comunidade Europeia (Grant N. 619683), edital FP7 (chamada FP7-ICT-2013-11)..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
(CNPq EDITAL UNIVERSAL 477703/2006-2) Xiscanoé - Modelos Computacionais para Simulação do Processo de Expansão da Esquistossomose na Área Litorânea de Pernambuco
Descrição: O processo de reprodução e urbanização da esquistossomose em Pernambuco é assunto em pauta entre pesquisadores da área. O objetivo desses pesquisadores é mapear e caracterizar criadouros e focos de vetores da esquistossomose, identificando novos sítios de transmissão ativa da parasitose. E ainda, correlacionar os determinantes biológicos da doença com o contexto ambiental da sua ocorrência. Assim, é notável a carência de um modelo matemático computacional para auxiliar a composição de cenários e o estudo do processo de expansão da doença. Este projeto visa prover modelos matemático-computacionais como efetiva ferramenta de auxílio na prevenção e controle de esquistossomose no estado de Pernambuco. Para determinar de forma precisa as variáveis mais relevantes no modelo serão capturadas imagens de satélite que revelam o aspecto de migração e contaminação temporal-geográfico das populações envolvidas, e comparadas com os dados epidemiológicos da doença, fornecidos pela CPqAM/FIOCRUZ. O processo de modelagem envolverá técnicas de programação linear estocástica e autômatos celulares. Pretende-se viabilizar os melhores modelos como ferramentas de trabalho para os pesquisadores, possibilitando a geração de cenários para que sejam tomadas ações estratégicas de combate e prevenção da doença, se tornando extremamente relevante para a comunidade científica, para o estado e para a sociedade. A sociedade será beneficiada, já que o nível de controle da doença será melhorado e, consequentemente, do serviço prestado pelos órgãos púbicos à população afetada. O estado poderá otimizar a distribuição de seus recursos financeiros e humanos no monitoramento, controle e combate da doença. Por fim, espera-se que os modelos propostos contribuam para o estado-da-arte em epidemiologia e matemática computacional, beneficiando a comunidade científica..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Breno Alexandro Ferreira de Miranda - Integrante / Jones Oliveira Albuquerque - Coordenador / Wilson Rosa de Oliveira Junior - Integrante / Silvana Bocanegra - Integrante / Constança Clara Gayoso Simões Barbosa - Integrante / Reinaldo Souza dos Santos - Integrante / Helen Paredes de Souza - Integrante / Karina Conceição Gomes Machado de Araújo - Integrante / Verônica Santos Barbosa - Integrante / Laélia Pumilla Botelho Campos - Integrante / Dalton Francisco de Araújo - Integrante / Cassiano Henrique de Albuquerque - Integrante / Tereza Raquel Brito de Melo - Integrante.


Revisor de periódico


2014 - Atual
Periódico: The Journal of Systems and Software
2015 - Atual
Periódico: Computer Languages, Systems & Structures
2017 - Atual
Periódico: Software Quality Journal
2017 - Atual
Periódico: JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Testes em Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelagem Computacional.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Computacional.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2009
Certified Scrum Master - CSM, Scrum Alliance.
2007
Top Student - 2007.1, Number One Idioms.
2007
Top Student - 2007.2, Number One Idioms.
2007
Destaque do Ano, CIn/Motorola (Software Test Program).
2007
CTFL - Certified Tester Foundation Level., ISTQB/ISEB - Information Systems Examination Board, UK.
2006
Top Student - 2006.2, Number One Idioms.
2006
Destaque do Ano, CIn/Motorola (Software Test Program).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BERTOLINO, ANTONIA2017BERTOLINO, ANTONIA ; CALABRÒ, ANTONELLO ; LONETTI, FRANCESCA ; MARCHETTI, EDA ; MIRANDA, BRENO . A categorization scheme for Software Engineering conference papers and its application. JOURNAL OF SYSTEMS AND SOFTWARE, v. 137, p. 114-129, 2017.

2.
MIRANDA, BRENO2016 MIRANDA, BRENO; BERTOLINO, ANTONIA . Scope-aided test prioritization, selection and minimization for software reuse. JOURNAL OF SYSTEMS AND SOFTWARE, v. 131, p. 528-549, 2016.

Livros publicados/organizados ou edições
1.
MIRANDA, B. A. F.; IYODA, J. M. . Recommender Systems for Manual Testing: An Approach to Increase the Productivity of Test Teams in Black-Box Environments. 1. ed. Saarbrücken, Germany: Lambert Academic Publishing, 2012. v. 1. 104p .

Trabalhos completos publicados em anais de congressos
1.
BERTOLINO, ANTONIA ; MIRANDA, BRENO ; PIETRANTUONO, ROBERTO ; RUSSO, STEFANO . Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017. p. 541-551.

2.
MIRANDA, BRENO; BERTOLINO, ANTONIA . Does code coverage provide a good stopping rule for operational profile based testing?. In: the 11th International Workshop, 2016, Austin. Proceedings of the 11th International Workshop on Automation of Software Test - AST '16. New York: ACM Press. p. 22-28.

3.
MIRANDA, BRENO; BERTOLINO, ANTONIA . Improving Test Coverage Measurement for Reused Software. In: 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015, Madeira. 2015 41st Euromicro Conference on Software Engineering and Advanced Applications. p. 27.

4.
MIRANDA, BRENO; BERTOLINO, ANTONIA . Social coverage for customized test adequacy and selection criteria. In: the 9th International Workshop, 2014, Hyderabad. Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014. New York: ACM Press. p. 22-28.

5.
MIRANDA, BRENO. A proposal for revisiting coverage testing metrics. In: the 29th ACM/IEEE international conference, 2014, Vasteras. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14. New York: ACM Press, 2014. p. 899.

6.
MIRANDA, B. A. F.; ARANHA, E. H. S. ; IYODA, J. M. . Recommender Systems for Manual Testing: Deciding how to assign tests in a test team. In: the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2012, Lund. Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '12. New York: ACM Press, 2012. p. 201-210.

7.
MIRANDA, B. A. F.; IYODA, J. M. ; MEIRA, S. R. L. . Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador. In: Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal-RN. Proceedings of the IV Brazilian Workshop on Systematic and Automated Software Testing (SAST 2010), 2010. p. 57-66.

8.
MAFRA, J. N. D. ; MIRANDA, B. A. F. ; IYODA, J. M. ; SAMPAIO, A. C. A. . Test Case Selector: Uma Ferramenta para Seleção de Testes.. In: Brazilian Workshop on Systematic and Automated Software Testing, 2009, Gramado-RS. Anais do Brazilian Workshop on Systematic and Automated Software Testing, 2009.

9.
MIRANDA, B. A. F.; MELO, C. G. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. ; SOUZA, H. P. ; SANTOS, R. S. ; SOUZA, M. A. A. ; BARBOSA, C. S. . Autômatos Celulares aplicados à Epidemiologia da Esquistossomose em Pernambuco Uma Análise Comparativa de Processos de Coleta de Moluscos. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008. v. 1. p. 630-636.

Resumos expandidos publicados em anais de congressos
1.
Hillah, Lom Messan ; Assad, Rodrigo ; BERTOLINO, ANTONIA ; Delamaro, Marcio ; De Rosa, Fabio ; Garcia, Vinicius ; LONETTI, FRANCESCA ; Maesano, Ariele-Paolo ; Maesano, Libero ; MARCHETTI, EDA ; MIRANDA, BRENO ; Vincenzi, Auri ; Iyoda, Juliano . Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds. In: 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017, Trento, Itália. Software Engineering and Formal Methods, 2017. v. 10469. p. 388-393.

2.
MIRANDA, B. A. F.; MELO, C. G. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. ; SOUZA, M. A. A. ; BARBOSA, C. S. ; SOUZA, H. P. ; SANTOS, R. S. . Análise Comparativa entre Métodos de Coleta de Moluscos Usando Autômatos Celulares. In: 11º International Symposium on Schistosomiasis, 2008, Salvador. 11º International Symposium on Schistosomiasis, 2008.

3.
MELO, C. G. ; MIRANDA, B. A. F. ; BOCANEGRA, S. ; ALBUQUERQUE, J. O. ; SOUZA, M. A. A. ; BARBOSA, C. S. ; SOUZA, H. P. ; SANTOS, R. S. . Autômatos Probabilísticos para Simulação do Processo de Expansão da Esquistossomose entre Humanos. In: 11º International Symposium on Schistosomiasis, 2008, Salvador. 11º International Symposium on Schistosomiasis, 2008.

Resumos publicados em anais de congressos
1.
BERTOLINO, ANTONIA ; CALABRO, ANTONELLO ; LONETTI, FRANCESCA ; MARCHETTI, EDA ; MIRANDA, BRENO . What paper types are accepted at the international conference on software engineering?. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017. p. 399.

2.
MELO, C. G. ; MIRANDA, B. A. F. ; BOCANEGRA, S. ; ALBUQUERQUE, J. O. ; SOUZA, M. A. A. ; BARBOSA, C. S. . Simulação da Expansão da Esquistossomose no Litoral de Pernambuco Utilizando dois Autômatos Celulares Probabilísticos. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008. v. 1. p. 719-719.

3.
MELO, C. G. ; MIRANDA, B. A. F. ; ALBUQUERQUE, C. H. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Modelos em Redes: Um Estudo de Caso para Problemas de Saúde Pública. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

4.
MELO, C. G. ; MIRANDA, B. A. F. ; ALBUQUERQUE, C. H. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Uma Nova Abordagem para Simular a Expansão da Esquistossomose entre Humanos: Uso Integrado entre dois Autômatos Celulares Probabilísticos. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

5.
ALBUQUERQUE, C. H. ; MIRANDA, B. A. F. ; MELO, C. G. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Uso de Técnicas de Otimização para Interpretação das Decisões de Capacidade Produtiva e Lucro das Empresas. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

6.
MIRANDA, B. A. F.; MELO, C. G. ; ALBUQUERQUE, C. H. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Utilização de Autômatos Celulares para a Plotagem de Imagens de Mapas: um Processo para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

7.
MIRANDA, B. A. F.; ALBUQUERQUE, C. H. ; MELO, C. G. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Uma Ferramenta Baseada em Autômatos Celulares para Comparar Diferentes Processos de Coleta de Moluscos. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

8.
ALBUQUERQUE, C. H. ; MELO, C. G. ; MIRANDA, B. A. F. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. . Uma Aplicação do Modelo SIR para a Esquistossomose utilizando Autômatos Celulares através do Software Mathematica®. In: VIII Jornada de Ensino, Pesquisa e Extensão, 2008, Recife. XVIII Congresso de Iniciação Científica, 2008.

9.
MIRANDA, B. A. F.; MELO, C. G. ; ALBUQUERQUE, J. O. ; BOCANEGRA, S. ; SOUZA, M. A. A. ; BARBOSA, C. S. . Utilização de Autômatos Celulares no Tratamento de Imagens de Mapas para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008. v. 1. p. 721-721.

10.
MIRANDA, B. A. F.; AZEVEDO, A. A. ; ALBUQUERQUE, J. O. ; ALMEIDA, Vitor. A. K. . Uso de Autômatos Celulares para a Simulação da Expansão de Infectados pela Esquistossomose no Estado de Pernambuco.. In: Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007.

11.
ALBUQUERQUE, C. H. ; MIRANDA, B. A. F. ; ALBUQUERQUE, J. O. . Fundamentos Teóricos da Computação como Agente do Processo de Ensino Aprendizagem - Sistemas Distribuídos e a Programação Paralela. In: VI Jornada de Ensino, Pesquisa e Extensão, 2006, Recife. Congresso de Iniciação Científica, 2006.

12.
MIRANDA, B. A. F.; ALBUQUERQUE, C. H. ; DE OLIVEIRA, Wilson Rosa ; ALBUQUERQUE, J. O. . Hipercomputação: Computação Super-Turing e o uso de simuladores como uma abordagem prática da computação clássica. In: V Jornada de Ensino, Pesquisa e Extensão, 2005, Recife. Congresso de Iniciação Científica, 2005.

13.
MIRANDA, B. A. F.; ALBUQUERQUE, C. H. ; ALBUQUERQUE, J. O. . Atividade de monitoria docente à disciplina Matemática Discreta. In: V Jornada de Ensino, Pesquisa e Extensão, 2005, Recife. Congresso de Iniciação à Docência, 2005.

Artigos aceitos para publicação
1.
MIRANDA, BRENO; BERTOLINO, ANTONIA . An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing. SOFTWARE QUALITY JOURNAL, 2017.

Outras produções bibliográficas
1.
MIRANDA, BRENO. Redefining and Evaluating Coverage Criteria Based on the Testing Scope. Pisa 2016 (Tese de Doutorado).

2.
MIRANDA, BRENO; BERTOLINO, ANTONIA . Improving test coverage measurement for reused software 2015 (Relatório Técnico).

3.
MIRANDA, B. A. F.. Recommender Systems for Manual Testing 2011 (Dissertação de Mestrado).


Produção técnica
Programas de computador sem registro
1.
MIRANDA, B. A. F.. Turing Machine Simulator. 2005.

2.
MIRANDA, B. A. F.. DRF/SCA-Sistema de Controle de Acessos. 2005.

3.
MIRANDA, B. A. F.. DRF/SCC-Sistema de Controle de Contratos. 2004.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.Recommender systems for manual testing: deciding how to assign tests in a test team. 2012. (Simpósio).

2.
22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). 2010. (Congresso).

3.
4th Brazilian Workshop on Systematic and Automated Software Testing (SAST'10).Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador.. 2010. (Seminário).

4.
I Congresso Pernambucano de Gerenciamento de Projetos, PMI-PE. 2008. (Congresso).

5.
III EBTS - Encontro Brasileiro de Testes de Software. 2008. (Encontro).

6.
I EBTS - Encontro Brasileiro de Testes de Software. 2006. (Encontro).

7.
III Abril Pra Informática. 2006. (Simpósio).

8.
II Abril Pra Informática. 2005. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
FIRMO, A. C. A. ; MELO, C. G. ; ASSIS, E. C. ; NATHALIA, D. ; MIRANDA, B. A. F. ; FLORA, N. ; NASCIMENTO, J. ; SILVA, P. A. . I JED - Jornada da Educação Digital. 2007. (Outro).

2.
ASSIS, E. C. ; MELO, C. G. ; MIRANDA, B. A. F. ; FIRMO, A. C. A. ; FLORA, N. ; NASCIMENTO, J. ; NATHALIA, D. ; SILVA, P. A. . III Abril Pra Informática. 2006. (Outro).

3.
SANTOS, M. S. ; SILVA, L. G. ; ASSIS, E. C. ; MIRANDA, B. A. F. ; FLORA, N. . II Abril Pra Informática. 2005. (Outro).



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 17/10/2018 às 23:41:34