Automated Test Generation for Scratch Programs.

Adina Deiner Patric Feldmeier Gordon Fraser Sebastian Schweikl Wengran Wang

Published in: CoRR (2022)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
static analysis
quality assurance
software testing
test data generation
code coverage
source code