Technical Programme

157	Improving the Reliability of Autonomous Software Systems through Metamorphic Testing M.K. Ahuja, M.B. Belaid, P. Bernabé, A. Gotlieb, D. Marijan, A. Sharif and H. Spieker
262	A Comparison of Different Approaches for Verification and Validation of Software in Safety-Critical Systems Ludvig Björklund, Markus Glaser, Gunleiv Skofteland and Mary Ann Lundteigen
661	Locks for the use of IEC 61508 to ML safety-critical applications and possible solutions Albin Tarrisse and François Massé
697	Review of Reliability Modelling Methods for Safety-critical Software in Nuclear Power Plant Chao Guo, Shuqiao Zhou, Fan Chen and Xiaojin Huang