3 citations · 4 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
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…
cs.SE2016★ 3 cited
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…