• Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados 

      Ferrer, Javier; Kruse, Peter M.; Chicano, Francisco; Alba, Enrique (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 ...