Formalizing traceability relations for product lines.

Lus C. Lamb, Waraporn Jirapanthong, Andrea Zisman

Browse the full ICSE paper archive.