ListarLCC - Contribuciones a congresos científicos por tema "Ingeniería del software basada en búsqueda"
Mostrando ítems 1-1 de 1
-
Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados
(2015-02-10)La generación de secuencias de pruebas dinámicas desde una especificación formal complementa los métodos tradicionales de pruebas para encontrar errores en el código fuente. En este artículo extendemos un enfoque combinatorio ...