Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.

Guardado en:

Detalles Bibliográficos
Autor principal:	Molina, Facundo Joaquín
Otros Autores:	Aguirre, Nazareno Matías
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2022
Materias:	Especificaciones de software Inferencia de especificaciones Redes neuronales Computación evolutiva Análisis dinámico Prueba y depuración de software Fuzzing Program specifications Dynamic analysis Software testing and debugging
Acceso en línea:	http://hdl.handle.net/11086/26692
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

The art of software testing /
por: Myers, Glenford J
Publicado: (1979)

El arte de probar el software /
por: Myers, Glenford J
Publicado: (1983)

Formal Specification : techniques and applications /
por: Nissanke, Nimal
Publicado: (1999)

Especificación en RSL de componentes basadas en streams
por: Riesco, Daniel Eduardo, et al.
Publicado: (2003)

Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
por: Tiraboschi, Andrés Agustín
Publicado: (2019)

Sistema de instrumentación estática de código fuente para mocking de funciones y objetos
por: Tiraboschi, Andrés Agustín
Publicado: (2019)

Traducciones parciales entre lenguajes lógicos
por: Martinez Suñé, Agustín Eloy
Publicado: (2017)

Traducciones parciales entre lenguajes lógicos
por: Martinez Suñé, Agustín Eloy
Publicado: (2017)

Traducciones parciales entre lenguajes lógicos
por: Martinez Suñé, Agustín Eloy
Publicado: (2017)

Automated workarounds from Java Program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2020)

Automated workarounds from Java program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2019)

Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
por: Vargas Calderon, Luis Miguel
Publicado: (2019)

Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
por: Vargas Calderon, Luis Miguel
Publicado: (2019)

Improving lazy abstraction for SCR specifications through constraint relaxation
por: Degiovanni, Renzo, et al.
Publicado: (2020)

Una técnica para una especificación inicial en RSL
por: Mauco, Virginia
Publicado: (2004)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo
Publicado: (2011)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo.
Publicado: (2011)

Modelos de especificación de requerimientos para la obtención de esquemas conceptuales en un dominio restringido: comparación de metodologías
por: Marciszack, Marcelo Martín
Publicado: (2010)

EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
por: Molina, Facundo, et al.
Publicado: (2022)

Integrando modelos en UML y especificaciones formales
por: Funes, Ana, et al.
Publicado: (2004)

Especificación de modelos dinámicos y análisis automático de propiedades con herramientas basadas en Alloy
por: Cornejo, César Mauricio
Publicado: (2024)

Especificación de requisitos: de lo informal a lo formal
por: Dasso, Aristides, et al.
Publicado: (2010)

Una técnica para una especificación inicial en RSL
por: Mauco, Virginia, et al.
Publicado: (2001)

Software error detection through testing and analysis
por: Huang, J. C., 1935-
Publicado: (2009)

Especificación de requisitos de calidad de software: Un aporte a los pliegos licitatorios en el estado argentino
por: Saldarini, Javier, et al.
Publicado: (2021)

Framework para elicitación automática de conocimiento
por: Demitrio, Daniel Arturo
Publicado: (2005)

Hacia un nuevo enfoque para el modelado arquitectónico de familias de productos
por: Pérez Vultaggio, Laura
Publicado: (2015)

Hacia un nuevo enfoque para el modelado arquitectónico de familias de productos
por: Pérez Vultaggio, Laura
Publicado: (2015)

Migración de sistemas heredados hacia microservicios con el soporte de especificaciones mediante ejemplos
por: Fontela, Carlos
Publicado: (2018)

Fuzzing In-Vivo Mediante Amplificación de Ejecuciones
por: Galland, Octavio Adolfo
Publicado: (2024)

Fuzzing In-Vivo Mediante Amplificación de Ejecuciones
por: Galland, Octavio Adolfo
Publicado: (2024)

Static analysis of software the abstract interpretation /
Publicado: (2012)

Validación de requerimientos a través de modelos conceptuales
por: Marciszack, Marcelo Martín, et al.
Publicado: (2012)

Definición de un proceso de elicitación de objetivos
por: Thomas, Pablo Javier
Publicado: (2005)

Especificación jerárquica de requisitos desde escenarios
por: Kaplan, Gladys Noemí
Publicado: (2024)

Perfiles de testing aplicados a modelos de software
por: Palacios, Luis Fernando
Publicado: (2009)

Validación de Requerimientos a través de Modelos Conceptuales
por: Pérez, Ramiro, et al.
Publicado: (2022)

Enfoque para pruebas de unidad basado en la generación aleatoria de objetos
por: Barrientos, Pablo Andrés
Publicado: (2014)

Procesos de composición de software: identificación de servicios y evaluación de calidad
por: Cechich, Alejandra, et al.
Publicado: (2010)

Validación de especificaciones no funcionales de aplicaciones web a través de técnicas de testing de usabilidad
por: Moreno, Juan Carlos, et al.
Publicado: (2013)