Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu

Browse the full ICSE paper archive.