@inproceedings{c5e6bb10f80c4ffc856b64ee5131c65d,

title = "Relational mathematics for relative correctness",

abstract = "In earlier work, we had presented a definition of software fault as being any feature of a program that admits a substitution that would make the program more-correct. This definition requires, in turn, that we define the concept of relative correctness, i.e., what it means for a program to be more-correct than another with respect to a given specification. In this paper we broaden our earlier definition to encompass non-deterministic programs, or non-deterministic representations of programs; also, we study the mathematical properties of the new definition, most notably its relation to the refinement ordering, as well as its algebraic properties with respect to the refinement lattice.",

keywords = "Absolute correctness, Fault removal, Faults, Refinement lattice, Refinement ordering, Relative correctness",

author = "Jules Desharnais and Nafi Diallo and Wided Ghardallou and Frias, {Marcelo F.} and Ali Jaoua and Ali Mili",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015 ; Conference date: 28-09-2015 Through 01-10-2015",

year = "2015",

doi = "10.1007/978-3-319-24704-5_12",

language = "English (US)",

isbn = "9783319247038",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "191--208",

editor = "Wolfram Kahl and Michael Winter and Oliveira, {Jose N.}",

booktitle = "Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Proceedings",

address = "Germany",

}