Login / Signup

ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.

Ali AlmohammadJoão Fernando FerreiraAlexandra MendesPhil White
Published in: RE Workshops (2017)
Keyphrases
  • test generation
  • control system
  • test cases
  • model checking
  • industrial applications
  • test sequences
  • real time
  • information systems