José Carlos Maldonado

Orcid: 0000-0002-3779-7143

According to our database1, José Carlos Maldonado authored at least 208 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards the definition of a research agenda on mobile application testing based on a tertiary study.
Inf. Softw. Technol., March, 2024

2023
Methodologies for publishing linked open government data on the Web: A systematic mapping and a unified process model.
Semantic Web, 2023

Gamificação em SPOCs para Intensificar o Engajamento do Usuário no Ensino Remoto.
Revista Brasileira de Informática na Educ., 2023

Towards the Implementation of a Mobile Application Testing Infrastructure at Von Braun Labs.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

The SMarty Approach for UML-Based Software Product Lines.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

The SystEM-PLA Evaluation Method.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

2022
Design for IoT: An Experimental Study to Understand How Design Thinking Can Help in the Elicitation of Requirements for IoT Systems.
Proceedings of the XXI Brazilian Symposium on Software Quality, 2022

Evaluating Approaches to Selecting Design Thinking Techniques : Quantitative and Qualitative Analysis.
Proceedings of the XXI Brazilian Symposium on Software Quality, 2022

2021
Organizing the Design Thinking Toolbox: Supporting the Requirements Elicitation Decision Making.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Trust yourself! Or maybe not: factors related to overconfidence and uncertainty assessments of software effort estimates.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Deep Reinforcement Learning based Android Application GUI Testing.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

2020
Reducing the Cost of Mutation Testing with the Use of Primitive Arcs Concept.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

Assessing Virtual Communities of Practice in Informal Learning Environments.
Proceedings of the 20th IEEE International Conference on Advanced Learning Technologies, 2020

2019
Automatic Question Classifiers: A Systematic Review.
IEEE Trans. Learn. Technol., 2019

2018
Guest editorial foreword for the special issue on automated software testing: trends and evidence.
J. Softw. Eng. Res. Dev., 2018

Where are the minimal mutants?
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018

MOOCs on the Context of Software Engineering Teaching and Training: Trends and Challenges.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Industry and Academia Partnership for Short-time High-level Qualification.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
An assessment of extended finite state machine test selection criteria.
J. Syst. Softw., 2017

Testing Game: An Educational Game to Support Software Testing Education.
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017

An Acceptance Empirical Assessment of Open Source Test Tools.
Proceedings of the ICEIS 2017, 2017

AIMED: Agile, Integrative and Open Method for Open Educational Resources Development.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

An Agile Method for Developing OERs and Its Application in Serious Game Design.
Proceedings of the Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions, 2017

Avoiding useless mutants.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Educational games: A contribution to software testing education.
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

2016
Correlating automatic static analysis and mutation testing: towards incremental strategies.
J. Softw. Eng. Res. Dev., 2016

The complementary aspect of automatically and manually generated test case sets.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Exploring together software architecture and software testing: A systematic mapping.
Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016

Systems-of-systems development: Initiatives, trends, and challenges.
Proceedings of the XLII Latin American Computing Conference, 2016

2015
Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience.
J. Braz. Comput. Soc., 2015

Visual Text Mining: Ensuring the Presence of Relevant Studies in Systematic Literature Reviews.
Int. J. Softw. Eng. Knowl. Eng., 2015

Semi-automatic selection of primary studies in systematic literature reviews: is it reasonable?
Empir. Softw. Eng., 2015

Evaluating Software Engineers' Acceptance of a Technique and Tool for Web Usability Inspection.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Investigating the Correspondence between Mutations and Static Warnings.
Proceedings of the 29th Brazilian Symposium on Software Engineering, 2015

3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Foreword: Towards Reference Architectures for Systems-of-Systems.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015

Evaluating an Inspection Technique for Use Case Specifications - Quantitative and Qualitative Analysis.
Proceedings of the ICEIS 2015, 2015

2014
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Towards the use of an automatic assessment system in the teaching of software testing.
Proceedings of the IEEE Frontiers in Education Conference, 2014

A visual analysis approach to update systematic reviews.
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013
Towards the practical mutation testing of AspectJ programs.
Sci. Comput. Program., 2013

Systematic Evaluation of Software Product Line Architectures.
J. Univers. Comput. Sci., 2013

Relevance and perspectives of AAL in Brazil.
J. Syst. Softw., 2013

Evaluation studies of software testing research in Brazil and in the world: A survey of two premier software engineering conferences.
J. Syst. Softw., 2013

A scoping study on the 25 years of research into software testing in Brazil and an outlook on the future of the area.
J. Syst. Softw., 2013

Functional test data generation for Simulink-like models.
J. Braz. Comput. Soc., 2013

Externalising tacit knowledge of the systematic review process.
IET Softw., 2013

SMartyParser: a XMI parser for UML-based software product line variability models.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Towards a process to design product line architectures based on reference architectures.
Proceedings of the 17th International Software Product Line Conference, 2013

Towards the Effectiveness of a Variability Management Approach at Use Case Level.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Towards the Establishment of a Reference Architecture for Developing Learning Environments.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

2012
Model-based testing of software and systems: recent advances and challenges.
Int. J. Softw. Tools Technol. Transf., 2012

A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews.
J. Softw., 2012

A visual analysis approach to validate the selection review of primary studies in systematic reviews.
Inf. Softw. Technol., 2012

An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity.
CLEI Electron. J., 2012

PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A Set of Inspection Techniques on Software Product Line Models.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A knowledge-based framework for reference architectures.
Proceedings of the ACM Symposium on Applied Computing, 2012

Architectural description of embedded systems: a systematic review.
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

Facilitating the Handling of Documents through Tree-Map Visualization.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Software Product Line Evaluation: Categorization and Evolution over the Years.
Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

Variability Management in Software Product Line Activity Diagrams.
Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

2011
An aspect-oriented reference architecture for Software Engineering Environments.
J. Syst. Softw., 2011

IMA-CID: an integrated modeling approach for developing educational modules.
J. Braz. Comput. Soc., 2011

A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Contributions and Perspectives in Architectures of Software Testing Environments.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Evaluation Studies of Software Testing Research in the Brazilian Symposium on Software Engineering.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Analysing the Use of Graphs to Represent the Results of Systematic Reviews in Software Engineering.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

What a Long, Strange Trip It's Been: Past, Present, and Future Perspectives on Software Testing Research.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Twenty-Five Years of Research in Structural and Mutation Testing.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Towards the Open Source Reference Architectures.
Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Towards the establishment of supporting mechanisms for modeling and generating educational content.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Model-driven development of learning objects.
Proceedings of the 2011 Frontiers in Education Conference, 2011

Using Visual Text Mining to Support the Study Selection Activity in Systematic Literature Reviews.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Proteum/AJ: a mutation system for AspectJ programs.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Systematic Management of Variability in UML-based Software Product Lines.
J. Univers. Comput. Sci., 2010

Preface to CLEI 2009 Special Issue.
CLEI Electron. J., 2010

Software Configuration Management as a Crosscutting Concern: An Example on Software Testing.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Characterising Faults in Aspect-Oriented Programs: Towards Filling the Gap Between Theory and Practice.
Proceedings of the 24th Brazilian Symposium on Software Engineering, 2010

Built-In Structural Testing of Web Services.
Proceedings of the 24th Brazilian Symposium on Software Engineering, 2010

Mutation Testing in Procedural and Object-Oriented Paradigms: An Evaluation of Data Structure Programs.
Proceedings of the 24th Brazilian Symposium on Software Engineering, 2010

Empirical Validation of Complexity and Extensibility Metrics for Software Product Line Architectures.
Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

Automating the mutation testing of aspect-oriented Java programs.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

An exploratory study of fault-proneness in evolving aspect-oriented programs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

An Approach Based on Visual Text Mining to Support Categorization and Classification in the Systematic Mapping.
Proceedings of the 14th International Conference on Evaluation and Assessment in Software Engineering, 2010

2009
Comparing finite state machine test.
IET Softw., 2009

A transformational language for mutant description.
Comput. Lang. Syst. Struct., 2009

Exploring ontologies to support the establishment of reference architectures: An example on software testing.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

JaBUTiService: A Web Service for Structural Testing of Java Programs.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Applying Code Coverage Approach to an Infinite Failure Software Reliability Model.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

An Aspect-Oriented Framework for Software Documentation: An Example on Testing.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
Assessing the research and education quality of the top Brazilian Computer Science graduate programs.
ACM SIGCSE Bull., 2008

In this issue.
Empir. Softw. Eng., 2008

A binomial software reliability model based on coverage of structural testing criteria.
Empir. Softw. Eng., 2008

An Ontology for Controlled Experiments on Software Engineering.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Ontology-based Development of Testing Related Tools.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Atabaque: uma contribuição de sucesso na evolução de processos.
Proceedings of the 7th Brazilian Symposium on Software Quality, 2008

Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Mutation Testing for Aspect-Oriented Programs.
Proceedings of the First International Conference on Software Testing, 2008

Reference architecture knowledge representation: an experience.
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

A Framework for Software Engineering Experimental Replications.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Evaluating Structural Criteria for Testing Mobile Code.
Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, 2008

An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing.
Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

Software Architecture Relevance in Open Source Software Evolution: A Case Study.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Requisitos Arquiteturais como Base para a Qualidade de Ambientes de Engenharia de Software.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Teste de Software no Contexto do Projeto Qualipso e Perspectivas Nacionais.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

2007
Control and data flow structural testing criteria for aspect-oriented programs.
J. Syst. Softw., 2007

Best Papers from the 2006 CLEI Conference, Santiago, Chile, August, 2006.
CLEI Electron. J., 2007

A Version Control Tool for Framework-based Applications.
CLEI Electron. J., 2007

Towards a Reference Architecture for Software Testing Tools.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Uma Experiência no Ensino de Inspeção e Teste de Software.
Proceedings of the 6th Brazilian Symposium on Software Quality, 2007

Experimental Evaluation of Coverage Criteria for FSM-based Testing.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Static Analysis of Java Bytecode for Domain-specific Software Testing.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Functional, Control and Data Flow, and Mutation Testing: Theory and Practice.
Proceedings of the Testing Techniques in Software Engineering, 2007

Software Testing: An Overview.
Proceedings of the Testing Techniques in Software Engineering, 2007

A Visual Text Mining approach for Systematic Reviews.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006
Establishing structural testing criteria for Java bytecode.
Softw. Pract. Exp., 2006

Constraint based structural testing criteria.
J. Syst. Softw., 2006

Muta-Pro: Towards the Definition of a Mutation Testing Process.
J. Braz. Comput. Soc., 2006

Infeasible Paths in the Context of Data Flow Based Testing Criteria: Identification, Classification and Prediction.
J. Braz. Comput. Soc., 2006

Letter from the Guest Editors.
J. Braz. Comput. Soc., 2006

Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness.
Empir. Softw. Eng., 2006

Towards Deriving Test Sequences by Model Checking.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

Towards the Establishment of an Ontology of Software Testing.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Um Estudo Comparativo do Tempo de Composição de um Framework Orientado a Aspectos de Persistência e de um Framework Orientado a Objetos de Persistência.
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

An Integrated Content Modeling Approach for Educational Modules.
Proceedings of the Education for the 21st Century, 2006

A Strategy to Perform Coverage Testing of Mobile Applications.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005
Coverage testing of Java programs and components.
Sci. Comput. Program., 2005

Experimental Results from Application of Fault-Sensitive Testing Strategies.
RITA, 2005

Smart debugging software architectural design in SDL.
J. Syst. Softw., 2005

Avaliando a Qualidade da Técnica GUCCRA com Técnica de Inspeção.
Proceedings of the Anais do WER05, 2005

Teste Estrutural de Integração de Programas de Aplicação de Banco de Dados Relacional.
Proceedings of the 4th Brazilian Symposium on Software Quality, 2005

Uma ferramenta baseada em aspectos para o teste funcional de programas Java.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Genetic algorithms to support software engineering experimentation.
Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 2005

TUCCA: improving the effectiveness of use case construction and requirement analysis.
Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE 2005), 2005

A variability management process for software product lines.
Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, 2005

2004
A debugging strategy based on the requirements of testing.
J. Softw. Maintenance Res. Pract., 2004

Knowledge-Sharing Issues in Experimental Software Engineering.
Empir. Softw. Eng., 2004

PBR: Transferência de Tecnologia Baseada em Pacotes de Experimentação.
Proceedings of the 3rd Brazilian Symposium on Software Quality, 2004

Inspeção de Documentos de Requisitos Baseado em Técnica de Leitura PBR: Experiência Prática no CPqD.
Proceedings of the 3rd Brazilian Symposium on Software Quality, 2004

Teste de Unidade de Programas Orientados a Aspectos.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

Reuso na Atividade de Teste para Reduzir Custo e Esforço de VV&T no Desenvolvimento e na Reengenharia de Software.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004


Mutation Testing Applied to Validate SDL Specifications.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003
Coverage testing software architectural design in SDL.
Comput. Networks, 2003

An Agile Reverse Engineering Process based on a Framework.
Proceedings of the Anais do WER03, 2003

A Family of Coverage Testing Criteria for Coloured Petri Nets.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Exploring Learning Objects under Conceptual, Instructional and Didactic Perspectives.
Proceedings of the PGLDB'2003, 2003

A Debugging Strategy Based on Requirements of Testin.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

Introducing Testing Practices into Objects and Design Course.
Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

Component-Based Software: An Overview of Testing.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003

PARFAIT: Towards a Framework-based Agile Reengineering Process.
Proceedings of the 2003 Agile Development Conference (ADC 2003), 2003

Replicated Studies: Building a Body of Knowledge about Software Reading Techniques.
Proceedings of the Lecture Notes on Empirical Software Engineering, 2003

2002
MuDeL: a language and a system for describing and generating mutants.
J. Braz. Comput. Soc., 2002

Bayesian-Learning Based Guidelines to Determine Equivalent Mutants.
Int. J. Softw. Eng. Knowl. Eng., 2002

PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools .
CLEI Electron. J., 2002

OORTs/ProDeS: Definição de Técnicas de Leitura para um Processo de Software Orientado a Objetos.
Proceedings of the 1st Brazilian Symposium on Software Quality, 2002

JaBÁ: A Java Bytecoder Analyser.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

mudelgen: A Tool for Processing Mutant Operator Descriptions.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Replicating Software Engineering Experiments: Addressing the Tacit Knowledge Problem.
Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE 2002), 2002

2001
Interface Mutation: An Approach for Integration Testing.
IEEE Trans. Software Eng., 2001

Unit and integration testing strategies for C programs using mutation.
Softw. Test. Verification Reliab., 2001

Toward the determination of sufficient mutant operators for C.
Softw. Test. Verification Reliab., 2001

Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing.
J. Electron. Test., 2001

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation.
Empir. Softw. Eng., 2001

Bayesian-Learning Based Guidelines to determine Equivalente Mutants.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies.
Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

Comparison of Maintainability Improvement by Segmentation and Reengineering - A Case Study.
Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

2000
Teste Estrutural de Software: Uma abordagem para Aplicações de Banco de Dados Relacional.
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Path Selection Strategies in the Context of Software Testing Criteria.
Proceedings of the 1st Latin American Test Workshop, 2000

1999
Mutation Testing Applied to Estelle Specifications.
Softw. Qual. J., 1999

Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999

Interface Mutation: Assessing Testing Quality at Interprocedural Level.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999

Operadores Essenciais de Interface: Um Estudo de Caso.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Data Flow Based Integration Testing.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Um Estudo sobre a Avaliação do Custo de Aplicação da Análise de Mutantes na Validação de Máquinas de Estados Finitos.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Mutation testing applied to validate specifications based on statecharts.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1998
Uma Contribuição para a Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C.
Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

1997
Program Graph Visualization.
Softw. Pract. Exp., 1997

Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria.
Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

PROTEUM/IM: Uma Ferramenta de Apoio ao Teste de Integração.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Teste de Integração: Projeto de Operadores para o Critério Mutação de Interface.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

1996
Integration testing using interface mutation.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995
Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios.
Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995

Mutation Testing Applied to Validate Specifications Based on Petri Nets.
Proceedings of the Formal Description Techniques VIII, 1995

1994
A reachability tree for statecharts and analysis of some properties.
Inf. Softw. Technol., 1994

Constrained Mutation in C programs.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Mutation analysis testing for finite state machines.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness.
Proceedings of the Software Quality and Productivity: Theory, 1994

1993
Uma Estratégia para Geração de Dados de Teste.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

Execução Programada de Statecharts.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

1992
Caminhos Não Executáveis na Automação das Atividades de Teste.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

Critérios Potenciais Usos: Análise da Aplicação de um Benchmark.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1989
Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

1988
Seleção de Casos de Testes Baseada em Fluxo de Dados através dos Critérios Potenciais Usos.
Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988


  Loading...