Automated Test Suite Generation for Time-Continuous Simulink Models

@article{Matinnejad2016AutomatedTS,
  title={Automated Test Suite Generation for Time-Continuous Simulink Models},
  author={Reza Matinnejad and Shiva Nejati and Lionel C. Briand and Thomas Bruckmann},
  journal={2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE)},
  year={2016},
  pages={595-606}
}
All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. In this paper, we propose a test generation approach that is applicable to Simulink models built for… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 32 CITATIONS

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

  • IEEE Transactions on Software Engineering
  • 2019
VIEW 10 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS

SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers

  • 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)
  • 2016
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Peter Csaba Ölveczky, Gwen Salaün
  • SEFM
  • 2019
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Search-based test case generation for Cyber-Physical Systems

  • 2017 IEEE Congress on Evolutionary Computation (CEC)
  • 2017
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A System Identification Based Oracle for Control-CPS Software Fault Localization

Zhijian He, Yao Chen, +3 authors Haidong Yuan
  • 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Whole Test Suite Generation

  • IEEE Transactions on Software Engineering
  • 2013
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

et al

G. Hamon, B. Dutertre, +7 authors A. Pataricza
  • Simulink Design Verifier - Applying Automated Formal Methods to Simulink and Stateflow. In AFM 2008. Citeseer
  • 2008
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Essentials of metaheuristics

S. Luke
  • volume 113. Lulu Raleigh
  • 2009
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL