@inproceedings{BenBasat2018LearningSC,
  title={Learning Software Constraints via Installation Attempts},
  author={Ran Ben-Basat and Maayan Goldstein and Itai Segall},
  booktitle={SIAM Symposium on Algorithmic Principles of Computer Systems},
  year={2018},
  url={https://api.semanticscholar.org/CorpusID:13745997}
}