Planning based guided reconstruction of corner cases in architectural validation. - Rajib Lochan Jana; Shashank Kuchibhotla; Soumyajit Dey; Pallab Dasgupta; Rakesh Kumar (VDAT, 2016)