Language-Based Testing combines formal grammars and constraints to specify the formats of inputs, outputs, and interactions in high detail, allowing to automatically derive high-quality test cases that can be used for testing and monitoring existing software systems. In this seminar, we discuss advances in the field, including topics such as

• Automated protocol testing
• Coverage-guided testing
• Out-of-specification test generation
• Evolutionary and symbolic algorithms for solving constraints
• Learning models from synthetic interactions and mutations
• Translating natural language specifications into formal specifications
• Integrating language specs into programming languages
• Generating code, data structures, and other highly complex inputs
• Detecting information flows at scale
• Automated diagnoses for program behavior
• Mining grammars and constraints from existing systems
• Novel directions and domains for language-based testing and learning

Most participants come from Andreas Zeller's group at the CISPA Helmholtz Center for Information Security.

Creative Commons BY 4.0

Andreas Zeller