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