プロフィール

プロフィール

プロフィールマイライブラリ

Massimo Narizzano

Unige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei …

確認したメールアドレス: unige.it

被引用数: 1839

Formal Verification Automatic Test Case generation

Javier Godoy

Universidad de Buenos Aires

確認したメールアドレス: dc.uba.ar

被引用数: 11

automatic test case generation fuzzing software engineering