SHEVERTALOV MAXIM

Detection, diagnosis, and mitigation of software faults