A classifier-based test oracle for embedded software | IEEE Conference Publication | IEEE Xplore