Generating REST API Specifications through Static Analysis. - Huang, Ruikai; Motwani, Manish; Martinez, Idel; Orso, Alessandro (ICSE: International Conference on Software Engineering, 2024)