GitHub repository: willdurand/thesis
Primary language: TeX
Description: Automated Test Generation for production systems with a Model-based Testing approach.