Extending Automated FLTL Test Oracles with Diagnostic Support | IEEE Conference Publication | IEEE Xplore