Paulo César Masiero

Orcid: 0000-0002-2541-4045

Affiliations:
  • University of São Paulo, SC, Brazil


According to our database1, Paulo César Masiero authored at least 115 papers between 1985 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ToffA-DSPL: an approach of trade-off analysis for designing dynamic software product lines.
CoRR, 2024

2019
Variability management in safety-critical systems design and dependability analysis.
J. Softw. Evol. Process., 2019

A Case Study about Startups' Software Development Practices: A Preliminary Result.
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019

Investigating Variability-aware Smells in SPLs: An Exploratory Study.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

2018
Similarity testing for role-based access control systems.
J. Softw. Eng. Res. Dev., 2018

Variability Management in Safety-Critical Software Product Line Engineering.
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

2016
Model-based safety analysis of software product lines.
Int. J. Embed. Syst., 2016

Combination and mutation strategies to support test data generation in the context of autonomous vehicles.
Int. J. Embed. Syst., 2016

Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems.
Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

2015
Extending statecharts to model system interactions.
J. Softw. Eng. Res. Dev., 2015

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

Supporting the Automated Generation of Modular Product Line Safety Cases.
Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

Uma abordagem para geração automática de dados de teste utilizando algoritmos evolutivos para software controlador de veículos autônomos.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

2014
HEUA: a heuristic evaluation with usability and accessibility requirements to assess web systems.
Proceedings of the International Web for All Conference, 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

An Environment to Support Structural Testing of Autonomous Vehicles.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

2013
Systematic Evaluation of Software Product Line Architectures.
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

The crosscutting impact of the AOSD Brazilian research community.
J. Syst. Softw., 2013

Applying Structural Testing to Services Using Testing Interfaces and Metadata.
Int. J. Softw. Informatics, 2013

Managing SPL Variabilities in UAV Simulink Models with Pure: : variants and Hephaestus.
CLEI Electron. J., 2013

An approach to improve the accessibility and usability of existing web system.
Proceedings of the 31st ACM international conference on Design of communication, Greenville, NC, USA, September 30, 2013

Structural Testing of Autonomous Vehicles.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Structural Testing of Exceptions Handling (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

BISTFaSC: An Approach to Embed Structural Testing Facilities into Software Components.
Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

From software product lines to system of systems: Analysis of an evolution path.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012
The ProLiCES Approach to Develop Product Lines for Safety-Critical Embedded Systems and its Application to the Unmanned Aerial Vehicles Domain.
CLEI Electron. J., 2012

Increasing the Quality of Web Systems: By Inserting Requirements of Accessibility and Usability.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Reengineering legacy systems towards system of systems development.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

On the Proactive Design of Product-Line Architectures with Aspects: An Exploratory Study.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Gerenciando Variabilidades no Modelo Simulink de um VANT com as Ferramentas Pure: : variants e Hephaestus.
Proceedings of the XV Iberoamerican Conference on Software Engineering, 2012

2011
A pointcut-based coverage analysis approach for aspect-oriented programs.
Inf. Sci., 2011

A test-driven approach to code search and its application to the reuse of auxiliary functionality.
Inf. Softw. Technol., 2011

Using structural testing information to support monitoring activities.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

More testable service compositions by test metadata.
Proceedings of the IEEE 6th International Symposium on Service Oriented System 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


Contextual Integration Testing of Object-Oriented and Aspect-Oriented Programs: A Structural Approach for Java and AspectJ.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Extending UML Components to Develop Software Product-Line Architectures: Lessons Learned.
Proceedings of the Software Architecture - 5th European Conference, 2011

2010
A catalogue of stub and driver patterns to support integration testing of aspect-oriented programs.
Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010

Using Aspects and the Spring Framework to Implement Variabilities in a Software Product Line.
Proceedings of the SCCC 2010, 2010

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

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

Assessment of product derivation tools in the evolution of software product lines: an empirical study.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java.
Sci. Comput. Program., 2009

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

Applying test-driven code search to the reuse of auxiliary functionality.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008
Editorial.
J. Syst. Softw., 2008

Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect-Oriented Programs.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Um catálogo de stubs para apoiar o teste de integração de programas orientados a aspectos.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

Integration Testing of Aspect-Oriented Programs: a Structural Pointcut-Based Approach.
Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

A pattern to design crosscutting frameworks.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An approach to design crosscutting framework families.
Proceedings of the ACP4IS@AOSD 2008: Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, Brussels, Belgium, 31 March, 2008

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

Letter from the Guest Editor.
J. Braz. Comput. Soc., 2007

Integration testing of aspect-oriented programs: a characterization study to evaluate how to minimize the number of stubs.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Pairwise structural testing of object and aspect-oriented Java programs.
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

Design Issues in a Component-based Software Product Line.
Proceedings of the First Brazilian Symposium on Software Components, 2007

AIPLE-IS: An Approach to Develop Product Lines for Information Systems Using Aspects.
Proceedings of the First Brazilian Symposium on Software Components, 2007

CodeGenie: using test-cases to search and reuse source code.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Minimizing stub creation during integration test of aspect-oriented programs.
Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007

2006
Testing aspect-oriented programming Pointcut Descriptors.
Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

Aspects as Components.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

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

Avaliação da abordagem incremental no teste de integração de programas orientados a aspectos.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Frameworks Orientados a Aspectos.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

2004
Uso de Aspectos para Verificar Regras de Instanciação de Frameworks.
RITA, 2004

Finding Frameworks Hot Spots in Pattern Languages.
J. Object Technol., 2004

Letter from the Editor-in-Chief.
J. Braz. Comput. Soc., 2004

Um Processo de Reestruturação de Código Baseado em Aspectos.
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

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

System Development Using a Pattern Language-Based Tool.
Proceedings of the ICEIS 2004, 2004

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

Projeto Baseado em Aspectos do Padrão Camada de Persistência.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Experiments on Pattern Language-Based Modeling.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

Building a Wizard for Framework Instantiation Based on a Pattern Language.
Proceedings of the Object-Oriented Information Systems, 9th International Conference, 2003

2002
GREN-Wizard: a Tool to Instantiate the GREN Framework.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

The Role of Pattern Languages in the Instantiation of Object-Oriented Frameworks.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

A Process for Framework Construction Based on a Pattern Language.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
A statechart-based model for hypermedia applications.
ACM Trans. Inf. Syst., 2001

Identification of Framework Hot Spots Using Pattern Languages.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

Automatic HTML Generation from Formal Hypermedia Specifications.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 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
Reengineering Using Design Patterns.
Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

A Framework based on a Pattern Language for Business Resource Management.
Proceedings of the Companion Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

1999
Hypercharts: Extended Statecharts to Support Hypermedia Specification.
IEEE Trans. Software Eng., 1999

HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing.
Multim. Tools Appl., 1999

Legacy Systems Reengineering Using Software Patterns.
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC '99), 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

Reengenharia com Uso de Padrões de Projeto.
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

An Experiment of Legacy Code Segmentation to Improve Maintainability.
Proceedings of the 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 1999

1998
Reengineering of Legacy Systems Based on Transformation Using the Object-Oriented Paradigm.
Proceedings of the 5th Working Conference on Reverse Engineering, 1998

XHMBS: A Formal Model to Support Hypermedia Specification.
Proceedings of the HYPERTEXT '98. Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space, 1998

1997
Assistência Inteligente ao Processo de Engenharia de Software.
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

A Navigation-Oriented Hypertext Model Based on Statecharts.
Proceedings of the Hypertext 97, 1997

1996
An Overall Process Based on Fusion to Reverse Engineer Legacy Code.
Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

Extensões ao HMBS para Especificação de Apresentações Hipermídia.
Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1995
Engenharia Reversa Orientada a Objetos do Ambiente StatSim: método utilizado e resultados obtidos.
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

Authoring and searching in dynamically growing hypertext databases.
Hypermedia, 1994

Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts.
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

1993
Development and instantiation of a generic application generator.
J. Syst. Softw., 1993

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

1992
Execução Exaustiva de Statecharts.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1991
Um Gerador de Aplicações para Sistemas Reativos.
Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991

1990
Apoio por Computador à Criação de Especificações Operacionais.
Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990

1988
JSD as an object-oriented design method.
ACM SIGSOFT Softw. Eng. Notes, 1988

O Processo de Instanciação do Sistema SEM para Criação de um Ambiente de Apoio a um Método de Desenvolvimento de Sistemas.
Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988

1985
Structure charts for Jackson system development.
ACM SIGSOFT Softw. Eng. Notes, 1985


  Loading...