Enhancing the efficiency of bayesian network based Coverage Directed Test GenerationMarkus BraunShai Fineet al.2004HLDVT 2004Conference paper
Probabilistic regression suites for functional verificationShai FineShmuel Uret al.2004DAC 2004Conference paper
Enhancing the control and efficiency of the covering process [logic verification]S. FineA. Ziv2003HLDVT 2003Conference paper
Coverage directed test generation for functional verification using Bayesian networksShai FineAvi Ziv2003DAC 2003Conference paper
Discriminative feature selection via multiclass variable memory Markov modelNoam SlonimGill Bejeranoet al.2003Eurasip Journal on Applied Signal ProcessingPaper