Kunal Taneja

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 *

TL;DR: This work presents an automated defect-detection tool, called DyTa, that combines both static verification and dynamic test generation and reduces the number of false positives compared to static verification, and performs more efficiently compared to dynamic testgeneration. (via Semantic Scholar)
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© (2025) 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.