Towards the Automatic Evolution of Reengineering Tools. - Massimiliano Di Penta; Kunal Taneja (CSMR, 2005)

A genetiv programming approach to support the design of service compositions. - Lerina Aversano; Massimiliano Di Penta; Kunal Taneja (Comput. Syst. Sci. Eng., 2006)

Towards a Framework for Differential Unit Testing of Object-Oriented Programs. - Tao Xie 001; Kunal Taneja; Shreyas Kale; Darko Marinov (AST, 2007)

Automated detection of api refactorings in libraries. - Kunal Taneja; Danny Dig; Tao Xie 001 (ASE, 2007)

Improving software reliability and productivity via mining program source code. - Tao Xie 001; Mithun Acharya; Suresh Thummalapenta; Kunal Taneja (IPDPS, 2008)

DiffGen: Automated Regression Unit-Test Generation. - Kunal Taneja; Tao Xie 001 (ASE, 2008)

Search-based inference of dialect grammars. - Massimiliano Di Penta; Pierpaolo Lombardi; Kunal Taneja; Luigi Troiano (Soft Comput., 2008)

Guided path exploration for regression test generation. - Kunal Taneja; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ICSE Companion, 2009)

MiTV: multiple-implementation testing of user-input validators for web applications. - Kunal Taneja; Nuo Li; Madhuri R. Marri; Tao Xie 001; Nikolai Tillmann (ASE, 2010)

MODA: automated test generation for database applications via mock objects. - Kunal Taneja; Yi Zhang 051; Tao Xie 001 (ASE, 2010)

DyTa: dynamic symbolic execution guided with static verification results. - Xi Ge; Kunal Taneja; Tao Xie 001; Nikolai Tillmann (ICSE, 2011)

eXpress: guided path exploration for efficient regression test generation. - Kunal Taneja; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ISSTA, 2011)

Testing software in age of data privacy: a balancing act. - Kunal Taneja; Mark Grechanik; Rayid Ghani; Tao Xie 001 (SIGSOFT FSE, 2011)

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. - Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Chen Fu; Qing Xie 003; Sangmin Park; Kunal Taneja; B. M. Mainul Hossain (WODA, 2012)

CarFast: achieving higher statement coverage faster. - Sangmin Park; B. M. Mainul Hossain; Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Kunal Taneja; Chen Fu; Qing Xie 003 (SIGSOFT FSE, 2012)

Linked Enterprise Data Model and Its Use in Real Time Analytics and Context-Driven Data Discovery. - Kunal Taneja; Qian Zhu 008; Desmond Duggan; Teresa Tung (IEEE MS, 2015)

ICON: Inferring Temporal Constraints from Natural Language API Descriptions. - Rahul Pandita; Kunal Taneja; Laurie A. Williams; Teresa Tung (ICSME, 2016)

High-confidence software evolution. - Qing Gao; Jun Li; Yingfei Xiong 001; Dan Hao 001; Xusheng Xiao; Kunal Taneja; Lu Zhang 023; Tao Xie 001 (Sci. China Inf. Sci., 2016)

RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. - Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Qing Xie 003; Sangmin Park; Kunal Taneja; B. M. Mainul Hossain (Softw. Pract. Exp., 2016)

Software Engineering for the Internet of Things. - Xabier Larrucea; Annie Combelles; John M. Favaro; Kunal Taneja (IEEE Softw., 2017)