José Carlos Maldonado
Orcid: 0000-0002-3779-7143
According to our database1,
José Carlos Maldonado
authored at least 212 papers
between 1988 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Testing infrastructures to support mobile application testing: A systematic mapping study.
Inf. Softw. Technol., 2025
2024
Towards the definition of a research agenda on mobile application testing based on a tertiary study.
Inf. Softw. Technol., March, 2024
Guiding the Way: Facilitating Requirements Elicitation with Selection Universe Approach.
Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024
An experience report on the use of Active Learning in Empirical Software Engineering Education: Understanding the pros and cons from the student's perspective.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
2023
Methodologies for publishing linked open government data on the Web: A systematic mapping and a unified process model.
Semantic Web, 2023
Revista Brasileira de Informática na Educ., 2023
Integrating SPOCs in Software Testing Education: Evidence in Emergency Remote Courses.
Informatics 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
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023
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
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
2020
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020
Proceedings of the 20th IEEE International Conference on Advanced Learning Technologies, 2020
2019
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
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
Proceedings of the IEEE Frontiers in Education Conference, 2018
2017
J. Syst. Softw., 2017
Proceedings of the 31st Brazilian Symposium on Software Engineering, 2017
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
Proceedings of the Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions, 2017
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017
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
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016
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
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
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
Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014
2013
Sci. Comput. Program., 2013
J. Univers. Comput. Sci., 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
J. Braz. Comput. Soc., 2013
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
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
Proceedings of the ACM Symposium on Applied Computing, 2012
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
J. Syst. Softw., 2011
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
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
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011
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
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
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011
2010
J. Univers. Comput. Sci., 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
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
Proceedings of the 5th Workshop on Automation of Software Test, 2010
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
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
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
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
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
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
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
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
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
J. Syst. Softw., 2007
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
Proceedings of the 6th Brazilian Symposium on Software Quality, 2007
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007
Proceedings of the Testing Techniques in Software Engineering, 2007
Proceedings of the Testing Techniques in Software Engineering, 2007
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007
2006
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
Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness.
Empir. Softw. Eng., 2006
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
Proceedings of the Education for the 21st Century, 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
2005
Experimental Results from Application of Fault-Sensitive Testing Strategies.
RITA, 2005
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
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005
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
Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, 2005
2004
J. Softw. Maintenance Res. Pract., 2004
Empir. Softw. Eng., 2004
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
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
Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
2003
Proceedings of the Anais do WER03, 2003
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
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003
Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003
Proceedings of the 2003 Agile Development Conference (ADC 2003), 2003
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
Int. J. Softw. Eng. Knowl. Eng., 2002
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
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002
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
IEEE Trans. Software Eng., 2001
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 5th European 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
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
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 1999
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999
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
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
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
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997
1996
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996
1995
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
Inf. Softw. Technol., 1994
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
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
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993
1992
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992
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