Login / Signup
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.
Rabéa Ameur-Boulifa
Ana R. Cavalli
Stephane Maag
Published in:
ICSOFT (2019)
Keyphrases
</>
software application
software tools
control system
database systems
source code
test cases
software package
databases
genetic algorithm
information systems
decision support
test data
embedded systems
software design