2011 conference paper
DyTa: Dynamic symbolic execution guided with static verification results
2011 33rd International Conference on Software Engineering (ICSE), 992–994.
2008 journal article
Search-based inference of dialect grammars
Soft Computing (Berlin, Germany), 12(1), 51–66.
