Automatic testing of runtime enforcers with Test4Enforcers.

Oliviero Riganelli Daniela Micucci Leonardo Mariani

Published in: J. Syst. Softw. (2024)

Keyphrases

test cases
test generation
test data
software testing
test sequences
semi automatic
statistical tests
testing process
labor intensive
test set
test suite
regression testing
fully automatic
code coverage
data sets
special case
information technology
multiscale
image processing
web pages
machine learning
neural network