Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller.

Andrea Bombarda Silvia Bonfanti Angelo Gargantini

Published in: ICTSS (2021)

Keyphrases

test generation
test cases
design automation
control system
symbolic execution
static analysis
quality assurance
test sequences
database
mutation testing
data sets
computer vision
software testing
databases
artificial intelligence
quality assessment