Browsing University of Waterloo by Author "Sterin, Baruch"
Now showing items 1-1 of 1
-
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ...