Learning feature interactions with and without specifications