Verification of Software Product Lines with Delta-Oriented Slicing (2011)

by D Bruns, V Klebanov, I Schaefer
Venue:In Proc. Int’l Conf. Formal Verification of Object-Oriented Software (FoVeOOS