GitHub repository: mdelapenya/e2e-testing
Primary language: Go
Description: Formal verification of Metricbeat module using BDD