Login / Signup

SimCoTest: a test suite generation tool for simulink/stateflow controllers.

Reza MatinnejadShiva NejatiLionel C. BriandThomas Bruckmann
Published in: ICSE (Companion Volume) (2016)
Keyphrases
  • test suite
  • control system
  • regression testing
  • test cases
  • software tools
  • mutation testing
  • test suite reduction
  • static analysis
  • user friendly
  • testing process
  • database
  • mobile robot
  • black box
  • control algorithm