Login / Signup

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior.

Reza MatinnejadShiva NejatiLionel C. BriandThomas Bruckmann
Published in: IEEE Trans. Software Eng. (2019)
Keyphrases
  • test generation
  • dynamic behavior
  • test cases
  • test sequences
  • regression testing
  • design automation
  • mutation testing
  • quality assurance
  • machine learning
  • symbolic execution