Ran Ben Basat, Maayan Goldstein, Itai Segall: Learning Software Constraints via Installation Attempts. APOCS 2020: 60-74