Finding common ground: Choose, assert, and assume

Keyphrases

• Testing Problem 100%
• Common Language 66%
• Dynamic Analysis 33%
• Machine Learning 33%
• Minimalist 33%
• System Testing 33%
• Random Testing 33%
• Symbolic Execution 33%
• Explicit Model Checking 33%
• Tool Comparison 33%
• Testing System 33%
• Testing Activity 33%
• Computational Pattern 33%
• Embedded Domain-specific Languages 33%
• Common Core 33%

Computer Science

• Testing Problem 100%
• Syntactics 33%
• Machine Learning 33%
• Dynamic Analysis 33%
• Model Checking 33%
• Symbolic Execution 33%
• Common Language 33%
• Domain-specific languages 33%
• Underlying Algorithm 33%