@article{14799,
  author = {Sagar Sen and Dusica Marijan and Carlo Ieva and Astrid Grime and Atle Sander},
  title = {Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate},
  year = {2017},
  journal = {IEEE Transactions on Reliability},
  volume = {66},
  number = {1},
  pages = {3{\textendash}16},
  publisher = {IEEE Transactions on Reliability},
  url = {https://doi.org/10.1109/TR.2016.2618121},
  doi = {10.1109/TR.2016.2618121},
}