Recommendations for improving the usability of formal methods for product lines.

Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker

Browse the full ICSE paper archive.