Kunal Taneja

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 4

Top Topics

Software Engineering

Temporal Constraints

High Confidence

Uniformly Distributed

Top Venues

Sci. China Inf. Sci.

Publications

Xabier Larrucea, Annie Combelles, John M. Favaro, Kunal Taneja
Software Engineering for the Internet of Things. IEEE Softw. 34 (1) (2017)
Rahul Pandita, Kunal Taneja, Laurie A. Williams, Teresa Tung
ICON: Inferring Temporal Constraints from Natural Language API Descriptions. ICSME (2016)
Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain
RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. Softw. Pract. Exp. 46 (3) (2016)
Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie
High-confidence software evolution. Sci. China Inf. Sci. 59 (7) (2016)
Kunal Taneja, Qian Zhu, Desmond Duggan, Teresa Tung
Linked Enterprise Data Model and Its Use in Real Time Analytics and Context-Driven Data Discovery. IEEE MS (2015)
Sangmin Park, B. M. Mainul Hossain, Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Kunal Taneja, Chen Fu, Qing Xie
CarFast: achieving higher statement coverage faster. SIGSOFT FSE (2012)
Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. WODA (2012)
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
eXpress: guided path exploration for efficient regression test generation. ISSTA (2011)
Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie
Testing software in age of data privacy: a balancing act. SIGSOFT FSE (2011)
Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
DyTa: dynamic symbolic execution guided with static verification results. ICSE (2011)
Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann
MiTV: multiple-implementation testing of user-input validators for web applications. ASE (2010)
Kunal Taneja, Yi Zhang, Tao Xie
MODA: automated test generation for database applications via mock objects. ASE (2010)
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Guided path exploration for regression test generation. ICSE Companion (2009)
Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja
Improving software reliability and productivity via mining program source code. IPDPS (2008)
Kunal Taneja, Tao Xie
DiffGen: Automated Regression Unit-Test Generation. ASE (2008)
Massimiliano Di Penta, Pierpaolo Lombardi, Kunal Taneja, Luigi Troiano
Search-based inference of dialect grammars. Soft Comput. 12 (1) (2008)
Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. AST (2007)
Kunal Taneja, Danny Dig, Tao Xie
Automated detection of api refactorings in libraries. ASE (2007)
Lerina Aversano, Massimiliano Di Penta, Kunal Taneja
A genetiv programming approach to support the design of service compositions. Comput. Syst. Sci. Eng. 21 (4) (2006)
Massimiliano Di Penta, Kunal Taneja
Towards the Automatic Evolution of Reengineering Tools. CSMR (2005)