RT info:eu-repo/semantics/bachelorThesis T1 Aplicación de herramientas de análisis estático de código y de cobertura de pruebas a aplicaciones Java A1 Pinteño Bustillos, Marina K1 Pruebas de software K1 Análisis estático K1 Java K1 Informática K1 Computer science YR 2015 FD 2015 LK http://hdl.handle.net/10017/23279 UL http://hdl.handle.net/10017/23279 LA spa DS MINDS@UW RD 19-abr-2024