Key points are not available for this paper at this time.
Where do contracts - specification elements embedded in executable code - come from? To produce them, should we rely on the programmers, on automatic tools, or some combination?
Polikarpova et al. (Sun,) studied this question.