IV Taller internacional sobre fundamentos y técnicas para la certificación de software de código abierto