OATS: An automated test system for OpenOCD. - Luigi Pomante; Ivan De Cesaris; Stefano Dell'Osa (RTSI, 2015)