1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
Program Derivation by Correctness Enhacements
Nafi Diallo, Wided Ghardallou, Jules Desharnais +1
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness,…
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…