Proceedings of the 2nd international workshop on Evidential assessment of software technologies