Program Repair by Stepwise Correctness Enhancement

Emerging

3
Citations
21
Refs
2016
Year
Search Works
Work Details
  • DOI 10.4204/eptcs.208.1
  • OpenAlex ID W2404647514
  • Type Article
  • Language EN
  • Published 25 May 2016
  • Volume 208
  • Pages 1–15
  • Source Electronic Proceedings in Theoretical Co…
  • Publisher Open Publishing Association
  • FWCI 2.27
  • Countries 2
  • Institutions 2
  • Added 10 Oct 2025
  • Updated 16 Oct 2026
External Links
OpenAlex Record DOI Resolver PDF
MENU
0

Program Repair by Stepwise Correctness Enhancement

Article 2016 EN Diamond

Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect), relative correctness arranges candidate programs on the richer structure of a partial ordering. In other venues we discuss the impact of relative cor…

3

Citations

21

References

3

Authors

2.27

FWCI

Citations by Year
Last 3 years
Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Nafi Diallo New Jersey Institute of Techno… (US) —
2 Wided Ghardallou Tunis El Manar University (TN)
3 Ali Mili New Jersey Institute of Techno… (US)
Related Works
10

Data: OpenAlex