Login / Signup

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

Nannan HePhilipp RümmerDaniel Kroening
Published in: DAC (2011)
Keyphrases