Code-Level Functional Equivalence Checking of Annotative Software Product Lines.

Alan Wang, Nick Feng, Marsha Chechik

Browse the full SPLC paper archive.