@misc{14365,
  author = {Dusica Marijan and Sagar Sen},
  title = {Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems},
  year = {2017},
  journal = {IEEE International Symposium on High Assurance Systems Engineering},
  publisher = {ACM/IEEE},
  isbn = {978-1-5090-4636-2},
  doi = {10.1109/HASE.2017.31},
}