Sign in

ThEodorE: a Trace Checker for CPS Properties.

Claudio MenghiEnrico ViganòDomenico BianculliLionel C. Briand
Published in: ICSE (Companion Volume) (2021)
Keyphrases
  • structural properties
  • genetic algorithm
  • machine learning
  • information technology
  • artificial neural networks
  • evolutionary algorithm
  • d objects
  • desirable properties