CodeCatch: Extracting Source Code Snippets from Online Sources. - Themistoklis Diamantopoulos; Georgios Karagiannopoulos; Andreas L. Symeonidis (RAISE@ICSE, 2018)