Kunal Taneja

According to our database, Kunal Taneja authored at least 20 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Software Engineering for the Internet of Things.

Xabier Larrucea, Annie Combelles, John M. Favaro, Kunal Taneja

IEEE Softw., 2017

2016

RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications.

Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain

Softw. Pract. Exp., 2016

High-confidence software evolution.

Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie

Sci. China Inf. Sci., 2016

ICON: Inferring Temporal Constraints from Natural Language API Descriptions.

Rahul Pandita, Kunal Taneja, Laurie A. Williams, Teresa Tung

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

Linked Enterprise Data Model and Its Use in Real Time Analytics and Context-Driven Data Discovery.

Kunal Taneja, Qian Zhu, Desmond Duggan, Teresa Tung

Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015

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

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator.

Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

2011

Testing software in age of data privacy: a balancing act.

Kunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

eXpress: guided path exploration for efficient regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

DyTa: dynamic symbolic execution guided with static verification results.

Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

MODA: automated test generation for database applications via mock objects.

Kunal Taneja, Yi Zhang, Tao Xie

Proceedings of the ASE 2010, 2010

MiTV: multiple-implementation testing of user-input validators for web applications.

Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann

Proceedings of the ASE 2010, 2010

2009

Guided path exploration for regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Search-based inference of dialect grammars.

Massimiliano Di Penta, Pierpaolo Lombardi, Kunal Taneja, Luigi Troiano

Soft Comput., 2008

DiffGen: Automated Regression Unit-Test Generation.

Kunal Taneja, Tao Xie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Improving software reliability and productivity via mining program source code.

Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007

Automated detection of api refactorings in libraries.

Kunal Taneja, Danny Dig, Tao Xie

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Towards a Framework for Differential Unit Testing of Object-Oriented Programs.

Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov

Proceedings of the Second International Workshop on Automation of Software Test, 2007

2006

A genetiv programming approach to support the design of service compositions.

Lerina Aversano, Massimiliano Di Penta, Kunal Taneja

Comput. Syst. Sci. Eng., 2006

2005

Towards the Automatic Evolution of Reengineering Tools.

Massimiliano Di Penta, Kunal Taneja

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005