8Cage: lightweight fault-based test generation for simulink

Dominik Holling, Alexander Pretschner, Matthias Gemmar. 8Cage: lightweight fault-based test generation for simulink. In Ivica Crnkovic, Marsha Chechik, Paul GrĂ¼nbacher, editors, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. pages 859-862, ACM, 2014. [doi]

Abstract

Abstract is missing.