BibTeX
@MISC{Li09publicationslist,
author = {Kaituo Li and Advisor Yannis Smaragdakis and George S. Avrunin},
title = {Publications List},
year = {2009}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Research Interests Software Engineering � Program analysis and testing (invariant inference, symbolic execution, automated test generation).
