View in EDS PDF Full Text

Bounded Exhaustive Search of Alloy Specification Repairs.

Saved in:
Bibliographic Details
Title: Bounded Exhaustive Search of Alloy Specification Repairs.
Authors: Gutiérrez Brida, Simón1,2, Regis, Germán1, Guolong Zheng3, Bagheriz, Hamid3, ThanhVu Nguyenz3, Aguirre, Nazareno1,2, Frias, Marcelo2,4
Source: ICSE: International Conference on Software Engineering. 5/22/2021, p1135-1147. 13p.
Subjects: Declarative programming languages, Debugging, Artificial intelligence, Computer science, Software engineers
Abstract: The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, exploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state-of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages. Our experience with using BeAFix to repair thousands of real-world faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art. [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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 155538760
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Bounded Exhaustive Search of Alloy Specification Repairs.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Gutiérrez+Brida%2C+Simón%22">Gutiérrez Brida, Simón</searchLink><relatesTo>1,2</relatesTo><br /><searchLink fieldCode="AR" term="%22Regis%2C+Germán%22">Regis, Germán</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Guolong+Zheng%22">Guolong Zheng</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Bagheriz%2C+Hamid%22">Bagheriz, Hamid</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22ThanhVu+Nguyenz%22">ThanhVu Nguyenz</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Aguirre%2C+Nazareno%22">Aguirre, Nazareno</searchLink><relatesTo>1,2</relatesTo><br /><searchLink fieldCode="AR" term="%22Frias%2C+Marcelo%22">Frias, Marcelo</searchLink><relatesTo>2,4</relatesTo>
– 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>. 5/22/2021, p1135-1147. 13p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Declarative+programming+languages%22">Declarative programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineers%22">Software engineers</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, exploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state-of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in formal declarative languages. Our experience with using BeAFix to repair thousands of real-world faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art. [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=155538760
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ICSE43902.2021.00105
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 1135
    Subjects:
      – SubjectFull: Declarative programming languages
        Type: general
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Artificial intelligence
        Type: general
      – SubjectFull: Computer science
        Type: general
      – SubjectFull: Software engineers
        Type: general
    Titles:
      – TitleFull: Bounded Exhaustive Search of Alloy Specification Repairs.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Gutiérrez Brida, Simón
      – PersonEntity:
          Name:
            NameFull: Regis, Germán
      – PersonEntity:
          Name:
            NameFull: Guolong Zheng
      – PersonEntity:
          Name:
            NameFull: Bagheriz, Hamid
      – PersonEntity:
          Name:
            NameFull: ThanhVu Nguyenz
      – PersonEntity:
          Name:
            NameFull: Aguirre, Nazareno
      – PersonEntity:
          Name:
            NameFull: Frias, Marcelo
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 22
              M: 05
              Text: 5/22/2021
              Type: published
              Y: 2021
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1