Nannan He, Philipp Rümmer, Daniel Kroening. Test-case generation for embedded simulink via formal concept analysis. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 224-229, ACM, 2011. [doi]
Abstract is missing.