Yu Lei

发表

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Mathematics in Computer Science.

D. Richard Kuhn, Raghu Kacker, D. R. Kuhn, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

D. Richard Kuhn, Raghu Kacker, D. R. Kuhn, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Jiang Ming, Mengfei Ren, Yu Lei, 2021, WISEC.

Raghu N. Kacker, David R. Kuhn, Jim Lawrence, 2011 .

D. Richard Kuhn, Raghu N. Kacker, Yu Lei, 2012 .