Software Error Detection through Testing and Analysis [ k3746 ]