@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",
}