Introducing complexity to formal testing | Publicación