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

Source: NC State University Libraries
Added: August 6, 2018

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

Source: NC State University Libraries
Added: August 6, 2018