Paulo Borba

Empir. Softw. Eng., March, 2023

Detecting Semantic Conflicts using Static Analysis.

[BibT_eX]

[DOI]

Galileu Santos de Jesus

Matheus Barbosa de Oliveira

CoRR, 2023

Detecting Semantic Conflicts with Unit Tests.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Leveraging Structure in Software Merge: An Empirical Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Build conflicts in the wild.

[BibT_eX]

[DOI]

Arthur Pires

J. Softw. Evol. Process., 2022

The Private Life of Merge Conflicts.

[BibT_eX]

[DOI]

Marcela Cunha

Matheus Barbosa de Oliveira

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

Semantic conflict detection with overriding assignment analysis.

[BibT_eX]

[DOI]

Galileu Santos

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

2021

Textual merge based on language-specific syntactic separators.

[BibT_eX]

[DOI]

Jônatas Clementino

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Semi-Automated Test-Case Propagation in Fork Ecosystems.

[BibT_eX]

[DOI]

Mukelabai Mukelabai

Thorsten Berger

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

Privacy and security constraints for code contributions.

[BibT_eX]

[DOI]

Rodrigo Andrade

Softw. Pract. Exp., 2020

Understanding predictive factors for merge conflicts.

[BibT_eX]

[DOI]

Klissiomara L. Dias

Marcos Barreto

Inf. Softw. Technol., 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Detecting Semantic Conflicts via Automated Behavior Change Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Partially safe evolution of software product lines.

[BibT_eX]

[DOI]

Gabriela Sampaio

J. Syst. Softw., 2019

Using acceptance tests to predict files changed by programming tasks.

[BibT_eX]

[DOI]

Thaís Rocha

João Pedro Santos

J. Syst. Softw., 2019

Improving the prediction of files changed by programming tasks.

[BibT_eX]

[DOI]

João Pedro Santos

Thaís Rocha

Proceedings of the XIII Brazilian Symposium on Software Components, 2019

Semistructured Merge in JavaScript Systems.

[BibT_eX]

[DOI]

Alberto Trindade Tavares

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

The Impact of Structure on Software Merging: Semistructured Versus Structured Merge.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Detecting Overly Strong Preconditions in Refactoring Engines.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Understanding semi-structured merge conflict characteristics in open-source Java projects.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Analyzing conflict predictors in open-source Java projects.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract).

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Empirical assessment of two approaches for specifying software product line use case scenarios.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Evaluating and improving semistructured merge.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

An idiom to represent data types in Alloy.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

Products go Green: Worst-Case Energy Consumption in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Should we replace our merge tools?

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Assessing fine-grained feature dependencies.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.

[BibT_eX]

[DOI]

Leonardo Teixeira Passos

Empir. Softw. Eng., 2016

Assessing Idioms for a Flexible Feature Binding Time.

[BibT_eX]

[DOI]

Comput. J., 2016

Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems.

[BibT_eX]

[DOI]

Vanilson Arruda Burégio

Vinicius Cardoso Garcia

Jones O. Albuquerque

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

Safe Evolution of Software Product Lines: Feature Extraction Scenarios.

[BibT_eX]

[DOI]

Fernando Benbassat

Proceedings of the 2016 X Brazilian Symposium on Software Components, 2016

2015

Safe evolution templates for software product lines.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Safe evolution of product populations and multi product lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Assessing Semistructured Merge in Version Control Systems: A Replicated Experiment.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

Improving Performance and Maintainability of Object Cloning with Lazy Clones: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

2014

Emergent Interfaces for Feature Modularization

[BibT_eX]

[DOI]

Claus Brabrand

Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-11493-4, 2014

Making refactoring safer through impact analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness.

[BibT_eX]

[DOI]

Requir. Eng., 2014

A Toolset for Checking SPL Refinements.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

Flexible Feature Binding with AspectJ-based Idioms.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

Controlled Experiments Comparing Black-box Testing Strategies for Software Product Lines.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Feature maintenance with emergent interfaces.

[BibT_eX]

[DOI]

Christian Kästner

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Intraprocedural Dataflow Analysis for Software Product Lines.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Safe composition of configuration knowledge-based software product lines.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

A design rule language for aspect-oriented programming.

[BibT_eX]

[DOI]

Alberto Costa Neto

Carlos Eduardo Pontual

Jean Carlos de Carvalho Melo

Fernando Castor

J. Syst. Softw., 2013

The crosscutting impact of the AOSD Brazilian research community.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Coevolution of variability models and related artifacts: a case study from the Linux kernel.

[BibT_eX]

[DOI]

Leonardo Teixeira Passos

Proceedings of the 17th International Software Product Line Conference, 2013

Improving Modular Reasoning on Preprocessor-Based Systems.

[BibT_eX]

[DOI]

Ricardo Massa Ferreira Lima

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

AspectJ-Based Idioms for Flexible Feature Binding.

[BibT_eX]

[DOI]

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

A Model-Driven Approach to Specifying and Monitoring Controlled Experiments in Software Engineering.

[BibT_eX]

[DOI]

Marília Aranha Freire

Proceedings of the Product-Focused Software Process Improvement, 2013

SPL<sup>LIFT</sup>: statically analyzing software product lines in minutes instead of years.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Modular aspect-oriented design rule enforcement with XPIDRs.

[BibT_eX]

[DOI]

Henrique Rebêlo

Gary T. Leavens

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

2012

A theory of software product line refinement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Modularity analysis of use case implementations.

[BibT_eX]

[DOI]

Fernanda d'Amorim

J. Syst. Softw., 2012

Special issue with selected papers from the 23rd Brazilian Symposium on Software Engineering.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Making Software Product Line Evolution Safer.

[BibT_eX]

[DOI]

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Comparing Two Black-Box Testing Strategies for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

Emergo: a tool for improving maintainability of preprocessor-based product lines.

[BibT_eX]

[DOI]

Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

Intraprocedural dataflow analysis for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Automatically Checking Feature Model Refactorings.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2011

The AOSD Research Community in Brazil and Its Crosscutting Impact.

[BibT_eX]

[DOI]

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

On the impact of feature dependencies when maintaining preprocessor-based software product lines.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2011

Investigating the safe evolution of software product lines.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2011

Assessing Idioms for Implementing Features with Flexible Binding Times.

[BibT_eX]

[DOI]

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Synchronizing Model and Program Refactoring.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2010

Emergent feature modularization.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Towards feature modularization.

[BibT_eX]

[DOI]

Thaís Vasconcelos Batista

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Assessment of product derivation tools in the evolution of software product lines: an empirical study.

[BibT_eX]

[DOI]

Mário Henrique C. Torres

Uirá Kulesza

Matheus Sousa

Elder Cirilo

Rosana T. V. Braga

Paulo César Masiero

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009

A Complete Set of Object Modeling Laws for Alloy.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2009

An Introduction to Software Product Line Refactoring.

[BibT_eX]

[DOI]

Márcio de Medeiros Ribeiro

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Improving Guidance when Restructuring Variabilities in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Modeling scenario variability as crosscutting mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Algebraic Laws for Feature Models.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Towards a Crosscutting Approach for Variability Management.

[BibT_eX]

Márcio de Medeiros Ribeiro

Proceedings of the Software Product Lines, 12th International Conference, 2008

FLiP: Managing Software Product Line Extraction and Reaction with Aspects.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

A decision model for implementing product lines variabilities.

[BibT_eX]

[DOI]

Pedro Matos Jr.

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Supporting software product lines development: FLiP - product line derivation tool.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Recommending refactorings when restructuring variabilities in software product lines.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.

[BibT_eX]

[DOI]

Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Formal Model-Driven Program Refactoring.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

On the benefits of scenario variability as crosscutting.

[BibT_eX]

[DOI]

Alexandre M. L. de Vasconcelos

Proceedings of the 2008 AOSD workshop on Early aspects, 2008

2007

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Vander Alves

Pedro Matos

Leonardo Cole

Márcio de Medeiros Ribeiro

Geber L. Ramalho

LNCS Trans. Aspect Oriented Softw. Dev., 2007

Analyzing Class and Crosscutting Modularity with Design Structure Matrixes.

[BibT_eX]

[DOI]

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Towards reusable and modular aspect-oriented concurrency control.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On the Contributions of an End-to-End AOSD Testbed.

[BibT_eX]

[DOI]

Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007

An Estimation Model for Test Execution Effort.

[BibT_eX]

[DOI]

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Product Line Variability Refactoring Tool.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Refactoring Tools, 2007

AJaTS: AspectJ Transformation System.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Refactoring Tools, 2007

Concurrency Control Modularization with Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Ricardo Massa Ferreira Lima

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Mapping Features to Aspects: A Model-Based Generative Approach.

[BibT_eX]

[DOI]

Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006

Distribution and persistence as aspects.

[BibT_eX]

[DOI]

Eduardo Laureano

Softw. Pract. Exp., 2006

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Implementing Framework Crosscutting Extensions with EJPs and AspectJ.

[BibT_eX]

[DOI]

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Model Simulation for Test Execution Capacity Estimation.

[BibT_eX]

[DOI]

José Lima

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Uirá Kulesza

Vander Alves

Alessandro F. Garcia

Proceedings of the Reuse of Off-the-Shelf Components, 2006

Refactoring product lines.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2006

2005

A Static Semantics for Alloy and its Impact in Refactorings.

[BibT_eX]

[DOI]

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Extracting and Evolving Mobile Games Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 9th International Conference, 2005

Formal Refactoring for UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.

[BibT_eX]

[DOI]

Alexandre L. G. Damasceno

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Comparative Analysis of Porting Strategies in J2ME Games.

[BibT_eX]

[DOI]

Geber L. Ramalho

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004

Algebraic reasoning for object-oriented programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

AspectH: Uma Extensão Orientada a Aspectos de Haskel.

[BibT_eX]

[DOI]

Carlos Andrade

André L. M. Santos

RITA, 2004

An Abstract Equivalence Notion for Object Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Transformation Laws for Sequential Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

Deriving refactorings for aspectJ.

[BibT_eX]

[DOI]

Leonardo Cole

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Using Aspects to Make Adaptive Object-Models Adaptable.

[BibT_eX]

[DOI]

Proceedings of the RAM-SE'04-ECOOP'04 Workshop on Reflection, 2004

2003

Developing Adaptive J2ME Applications Using AspectJ.

[BibT_eX]

[DOI]

Ayla Dantas

J. Univers. Comput. Sci., 2003

Refactoring Alloy Specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Aspect-oriented implementation method: progressive or non-progressive approach?

[BibT_eX]

[DOI]

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A Refinement Algebra for Object-Oriented Programming.

[BibT_eX]

[DOI]

Márcio Cornélio

Proceedings of the ECOOP 2003, 2003

2002

Testes e Geração de Código de Sistemas Web.

[BibT_eX]

[DOI]

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Implementing distribution and persistence aspects with aspectJ.

[BibT_eX]

[DOI]

Eduardo Laureano

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Mechanical Abstraction of CSP<sub>Z</sub> Processes.

[BibT_eX]

[DOI]

Alexandre Mota

Proceedings of the FME 2002: Formal Methods, 2002

Concurrency Control with Java and Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

JATS: A Java Transformation System.

[BibT_eX]

[DOI]

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

An Implementation Method for Distributed Object-Oriented Applications.

[BibT_eX]

[DOI]

Vander Alves

Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

2000

Basic Laws of ROOL: an object-oriented language.

[BibT_eX]

RITA, 2000

Structuring Meachanisms for an Object-Oriented Formal Specification Language.

[BibT_eX]

[DOI]

Márcio Cornélio

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1997

A System for Translating Executable VDM Specifiactions into Lazy ML.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1997

Systematic Development of Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

A Refinement Theory for Concurrent Object Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

1995

Semantics and refinement for a concurrent object oriented language.

[BibT_eX]

[DOI]

PhD thesis, 1995

1993

From VDM specifications to functional prototypes.

[BibT_eX]

[DOI]

Paulo Henrique Monteiro Borba

J. Syst. Softw., 1993

1990

Tradução de Tipos de Especificação para Protótipo.

[BibT_eX]

[DOI]

Paulo H. M. Borba

Silvio R. L. Meira

Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990

1989

Protótipos Funcionais a partir de Especificações Formais em VDM.

[BibT_eX]

[DOI]