1 citations · 1 across the 1 of their papers we have counts for
3 papers · 1 filter
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez +5
Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose cor…
Programming Without Refining
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou +1
To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respe…
Program Repair by Stepwise Correctness Enhancement
Nafi Diallo, Wided Ghardallou, Ali Mili
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) correctnes…