Ali Mili, Marcelo F. Frias, Ali Jaoua: On Faults and Faulty Programs. RAMiCS 2014: 191-207