View in EDS HTML Full Text PDF Full Text

Lightweight Semantic Conflict Detection with Static Analysis.

Saved in:
Bibliographic Details
Title: Lightweight Semantic Conflict Detection with Static Analysis.
Authors: De Jesus, Galileu Santos1 gsj@cin.ufpe.br, Borba, Paulo1 phmb@cin.ufpe.br, Bonifácio, Rodrigo2 rbonifacio@unb.br, De Oliveira, Matheus Barbosa1 mbo2@cin.ufpe.br
Source: ICSE: International Conference on Software Engineering. 2024, p343-345. 3p.
Subjects: Revision control (Computer science), Computer software developers, Configuration management, Semantics, Software engineering
Abstract: Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, during the integration of changes, developers might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference---causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability (F1 Score of 0.50 and Accuracy of 0.60). [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 185196649
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Lightweight Semantic Conflict Detection with Static Analysis.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22De+Jesus%2C+Galileu+Santos%22">De Jesus, Galileu Santos</searchLink><relatesTo>1</relatesTo><i> gsj@cin.ufpe.br</i><br /><searchLink fieldCode="AR" term="%22Borba%2C+Paulo%22">Borba, Paulo</searchLink><relatesTo>1</relatesTo><i> phmb@cin.ufpe.br</i><br /><searchLink fieldCode="AR" term="%22Bonifácio%2C+Rodrigo%22">Bonifácio, Rodrigo</searchLink><relatesTo>2</relatesTo><i> rbonifacio@unb.br</i><br /><searchLink fieldCode="AR" term="%22De+Oliveira%2C+Matheus+Barbosa%22">De Oliveira, Matheus Barbosa</searchLink><relatesTo>1</relatesTo><i> mbo2@cin.ufpe.br</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 2024, p343-345. 3p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Revision+control+%28Computer+science%29%22">Revision control (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+developers%22">Computer software developers</searchLink><br /><searchLink fieldCode="DE" term="%22Configuration+management%22">Configuration management</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, during the integration of changes, developers might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference---causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability (F1 Score of 0.50 and Accuracy of 0.60). [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=185196649
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3639478.3643118
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 3
        StartPage: 343
    Subjects:
      – SubjectFull: Revision control (Computer science)
        Type: general
      – SubjectFull: Computer software developers
        Type: general
      – SubjectFull: Configuration management
        Type: general
      – SubjectFull: Semantics
        Type: general
      – SubjectFull: Software engineering
        Type: general
    Titles:
      – TitleFull: Lightweight Semantic Conflict Detection with Static Analysis.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: De Jesus, Galileu Santos
      – PersonEntity:
          Name:
            NameFull: Borba, Paulo
      – PersonEntity:
          Name:
            NameFull: Bonifácio, Rodrigo
      – PersonEntity:
          Name:
            NameFull: De Oliveira, Matheus Barbosa
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 05
              Text: 2024
              Type: published
              Y: 2024
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1