2011 conference paper
DyTa: Dynamic symbolic execution guided with static verification results
2011 33rd International Conference on Software Engineering (ICSE), 992–994.
By: X. Ge, K. Taneja, T. Xie & N. Tillmann
2008 journal article
Search-based inference of dialect grammars
Soft Computing (Berlin, Germany), 12(1), 51–66.
By: M. Di Penta, P. Lombardi, K. Taneja & L. Troiano