Proceedings of the 12th international conference on Reliable software technologies - Abdennadher