Automated Requirements-Based Testing of Black-Box Reactive Systems.

Massimo Narizzano Luca Pulina Armando Tacchella Simone Vuotto

Published in: CoRR (2020)

Keyphrases

black box
reactive systems
white box
test cases
integration testing
white box testing
real time systems
black boxes
model checking
hybrid systems
temporal logic
petri net
software testing
fully automated
formal methods
information flow
control flow
real time
test data
metamodel
test set
low cost