Automated Refactoring of Unbounded Queries in Software Automation Platforms. - Inês Pina Fernandes; Miguel Terra-Neves; João Costa Seco (MoDELS (Companion), 2021)