Memorias de investigación
Estancias o Sabáticos:
Domain-specific property-based testing
Año:2019

Áreas de investigación
  • Ciencias de la computación y tecnología informática

Datos
Descripción
Lars-Åke Fredlund visited Chalmers for the purpose of collaborating with the receiving scientist, Professor John Hughes at the Computer Science and Engineering department. During his research stay Fredlund collaborated on a number of topics, including the use of Property-based testing techniques for testing blockchains, and the development of a domain specific library for writing test models for multi-agent systems.
Internacional
Si
Lugar
Univ. Chalmers (Suecia)
Tipo
Fecha inicio
01/01/2019
Fecha fin
01/06/2019

Esta actividad pertenece a memorias de investigación

Participantes

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa