CONICET Community
Assistant researcher
Speciality
Ingeniería de Software
Scientific discipline
Computer Science and Communications
- Computer Science and Communications
Topic
Automatic refinement of test suites for automatic repair of formal specifications.
Workplace
GRUPO DE INGENIERIA DE SOFTWARE
Dependencies
- UNIVERSIDAD NACIONAL DE RIO CUARTO
- FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES
Show more information
Show less information
| Address: |
| RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina |
Summary
Information provided by the agent in
SIGEVA
Mi campo de especialidad es la Ingeniería de Software, y dentro de éste, el análisis automático de software. Me especializo en mutación de software, un área con aplicaciones centralmente en testing, donde las mutaciones representan defectos artificiales de software; más recientemente, la mutación de software ha ganado interés con aplicaciones en reparación automática, donde las mutaciones representan modificaciones que apuntan a corregir automáticamente software defectuoso. Mi especialidad abar...
Mi campo de especialidad es la Ingeniería de Software, y dentro de éste, el análisis automático de software. Me especializo en mutación de software, un área con aplicaciones centralmente en testing, donde las mutaciones representan defectos artificiales de software; más recientemente, la mutación de software ha ganado interés con aplicaciones en reparación automática, donde las mutaciones representan modificaciones que apuntan a corregir automáticamente software defectuoso. Mi especialidad abarca el diseño de operaciones de mutación, la evaluación de calidad de suites de tests mediante mutation testing, la generación automática de tests basada en mutación, y la reparación automática de software.
Show more
Show less
Lines of Investigation
Ingeniería de Software
Natural and exact sciences
- Computer and information sciences
- Computer sciences
Ingeniería de Software
Natural and exact sciences
- Computer and information sciences
- Computer sciences
Technological Capacities
1 - Electronics, IT and Telecoms
1.2 - Information Processing, Information System, Workflow Management
- 1.2.1 - Advanced Systems Architecture
- 1.2.6 - Computer Software
- 1.2.9 - Data Protection, Storage Technology, Cryptography, Data Security
- 1.2.13 - Information Technology/Informatics
- 1.2.15 - Knowledge Management, Process Management
- 1.2.20 - Building Automation Software
- 1.2.22 - Smart Appliances
Key Words
Generación automática de pruebas de programasMutaciónMutationPrueba de programasTestingIngeniería de SoftwareReparación automática de programasAutomated Program RepairSoftware EngineeringAutomated test generation
Education
2014 - 2019
Doctor en Ciencias de la Computación
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA, UNIVERSIDAD NACIONAL DE CORDOBA
2007 - 2014
Licenciado En Ciencias De La Computación
UNIVERSIDAD NACIONAL DE RIO CUARTO
2007 - 2011
Analista en Computación
UNIVERSIDAD NACIONAL DE RIO CUARTO
Directed by:
AGUIRRE, NAZARENO MATIAS
Scientific Research Career at CONICET
AGUIRRE, Nazareno Matias
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact