ListarLCC - Contribuciones a congresos científicos por tema "Generación de secuencias de pruebas"
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 ...