Verification and testing at run-time for online quality prediction | IEEE Conference Publication | IEEE Xplore