Requirements-based delta-oriented SPL testing | IEEE Conference Publication | IEEE Xplore