Login / Signup
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.
Ali Almohammad
João Fernando Ferreira
Alexandra Mendes
Phil White
Published in:
RE Workshops (2017)
Keyphrases
</>
test generation
control system
test cases
model checking
industrial applications
test sequences
real time
information systems