TSTL: A language and tool for testing (demo)

Keyphrases

• Software Testing 100%
• Python 50%
• Minimalist 50%
• Automated Testing 50%
• Programming Task 50%
• Template-based 50%
• Code Coverage 50%
• Model Checker 50%
• Domain-specific Languages 50%
• Test Harness 50%
• Testing Tools 50%
• Universal Testing 50%
• Logging Code 50%
• Tool Support 50%
• Core Testing 50%
• Expressive Language 50%
• Delta Debugging 50%
• Source Language 50%

Computer Science

• Task Programming 100%
• model checker 100%
• Domain-Specific Language 100%
• Source Language 100%