1 Introduction and Motivation
The knowledge needed by software developers is captured in many forms of documentation, typically written by different individuals [53]. Despite the best efforts of documentation writers [14], there often remains a mismatch between the needs of documentation consumers and the knowledge provided in developer documentation. This mismatch can be observed whenever developers struggle to find the right information in the right form at the right time [28] , [43].