Kunal Taneja

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