publicações selecionadas Software Vulnerability Detection in Service-Based Infrastructures: Techniques and Tools