Test-case generation for embedded simulink via formal concept analysis.

Nannan He, Philipp Rmmer, Daniel Kroening

Browse the full DAC paper archive.