Randomized directed testing (REDIRECT) for Simulink/Stateflow models

@inproceedings{Satpathy2008RandomizedDT,
  title={Randomized directed testing (REDIRECT) for Simulink/Stateflow models},
  author={M. Satpathy and A. Yeolekar and S. Ramesh},
  booktitle={EMSOFT '08},
  year={2008}
}
  • M. Satpathy, A. Yeolekar, S. Ramesh
  • Published in EMSOFT '08 2008
  • Computer Science
  • The Simulink/Stateflow (SL/SF) environment from Math-works is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial tools are available in the market for test case generation from SL/SF designs; however, we have observed that these tools do not achieve satisfactory coverage in cases when designs involve nonlinear blocks and Stateflow blocks occur deep inside the Simulink blocks. The recent past has seen the emergence of several… CONTINUE READING
    Formal Methods for Industrial Critical Systems
    • 25

    References

    Publications referenced by this paper.
    Feedback-Directed Random Test Generation
    • 683
    • Highly Influential
    • PDF