Multi-Requirement Testing Using Focused Falsification.

Johan Lidén Eddeland Alexandre Donzé Knut Åkesson

Published in: HSCC (2022)

Keyphrases

machine learning
information systems
test suite
real time
feature selection
color images
test data
statistical tests
test generation