Test-case generation for embedded simulink via formal concept analysis

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