Trace-based Reflexive Testing of OO Programs with T2 | IEEE Conference Publication | IEEE Xplore