Works (2)

Updated: April 11th, 2023 10:13

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 n, K. Taneja n, T. Xie n & N. Tillmann*

co-author countries: United States of America 🇺🇸
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

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.