A declarative approach to detecting design patterns from Java execution traces and source code. - Aswathy Mohan; Swaminathan Jayaraman; Bharat Jayaraman (Inf. Softw. Technol., 2024)