Test-case generation for embedded simulink via formal concept analysis

Article CLOSED
Nannan He; Philipp Rümmer; Daniel Kroening;
(2011)
Share - Bookmark