Detecting and Confining Software Errors: An Evaluation of Three Executable Assertions Based Solutions. - Sébastien Perron; Mourad Badri; Linda Badri (J. Softw., 2022)