Results for "test generation"

Projects

There are no results.

Faculty

Milos Gligoric

Affiliated Departments:
Electrical and Computer Engineering
Research Interests:

My main research interests are software engineering and formal methods with focus on improving software quality via software testing and software model checking.