@misc {IOPORT.70933958,
    author       = {Uzuncaova, Engin and Garcia, Daniel and Khurshid, Sarfraz and Batory, Don S.},
    title        = {A specification-based approach to testing software product lines},
    howpublished = {ESEC/SIGSOFT FSE, 525-528 (2007).},
    year         = {2007},
    doi          = {10.1145/1287624.1287701},
    identifier   = {70933958},
}