Extension-Aware Automated Testing Based on Imperative Predicates | IEEE Conference Publication | IEEE Xplore