Effective test suites for mixed discrete-continuous stateflow controllers

  title={Effective test suites for mixed discrete-continuous stateflow controllers},
  author={Reza Matinnejad and Shiva Nejati and Lionel C. Briand and Thomas Bruckmann},
  booktitle={ESEC/SIGSOFT FSE},
Modeling mixed discrete-continuous controllers using Stateflow is common practice and has a long tradition in the embedded software system industry. Testing Stateflow models is complicated by expensive and manual test oracles that are not amenable to full automation due to the complex continuous behaviors of such models. In this paper, we reduce the cost of manual test oracles by providing test case selection algorithms that help engineers develop small test suites with high fault revealing… CONTINUE READING
8 Citations
5 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-5 of 5 references

Testing object-oriented systems: models, patterns, and tools

  • R. Binder
  • Addison-Wesley Professional,
  • 2000
Highly Influential
16 Excerpts

Essentials of metaheuristics, volume 113

  • S. Luke
  • Lulu Raleigh,
  • 2009
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…