Software certification and testing | IET Conference Publication | IEEE Xplore