Planning based guided reconstruction of corner cases in architectural validation | IEEE Conference Publication | IEEE Xplore