| Software engineering for the internet of things X Larrucea, A Combelles, J Favaro, K Taneja IEEE Software 34 (1), 24-28, 2017 | 112 | 2017 |
| eXpress: guided path exploration for efficient regression test generation K Taneja, T Xie, N Tillmann, J De Halleux Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 110 | 2011 |
| DiffGen: Automated regression unit-test generation K Taneja, T Xie 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 108 | 2008 |
| MODA: Automated test generation for database applications via mock objects K Taneja, Y Zhang, T Xie Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 100 | 2010 |
| DyTa: dynamic symbolic execution guided with static verification results X Ge, K Taneja, T Xie, N Tillmann Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 99 | 2011 |
| Carfast: Achieving higher statement coverage faster S Park, BMM Hossain, I Hussain, C Csallner, M Grechanik, K Taneja, ... Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 83 | 2012 |
| Automated detection of API refactorings in libraries K Taneja, D Dig, T Xie Proceedings of the 22nd IEEE/ACM international conference on automated …, 2007 | 72 | 2007 |
| A genetic programming approach to support the design of service compositions L Aversano, M Di Penta, K Taneja International Journal of Computer Systems Science & Engineering 21 (4), 247-254, 2006 | 59 | 2006 |
| Towards a framework for differential unit testing of object-oriented programs T Xie, K Taneja, S Kale, D Marinov Second International Workshop on Automation of Software Test (AST'07), 5-5, 2007 | 51 | 2007 |
| Testing software in age of data privacy: A balancing act K Taneja, M Grechanik, R Ghani, T Xie Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 47 | 2011 |
| Data consistency management C Fu, S Venugeethan, K Taneja US Patent 9,111,012, 2015 | 37 | 2015 |
| Guided path exploration for regression test generation K Taneja, T Xie, N Tillmann, J De Halleux, W Schulte 2009 31st International Conference on Software Engineering-Companion Volume …, 2009 | 37 | 2009 |
| Mitv: multiple-implementation testing of user-input validators for web applications K Taneja, N Li, MR Marri, T Xie, N Tillmann Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 28 | 2010 |
| Icon: Inferring temporal constraints from natural language api descriptions R Pandita, K Taneja, L Williams, T Tung 2016 IEEE international conference on software maintenance and evolution …, 2016 | 22 | 2016 |
| Testing framework for policy-based workflows K Taneja, T Tung, M Kim US Patent 9,367,434, 2016 | 22 | 2016 |
| Data consistency management C Fu, S Venugeethan, K Taneja US Patent 9,727,600, 2017 | 20 | 2017 |
| RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications I Hussain, C Csallner, M Grechanik, Q Xie, S Park, K Taneja, ... Software: Practice and Experience 46 (3), 405-431, 2016 | 19 | 2016 |
| Improving software reliability and productivity via mining program source code T Xie, M Acharya, S Thummalapenta, K Taneja 2008 IEEE International Symposium on Parallel and Distributed Processing, 1-5, 2008 | 16 | 2008 |
| Search-based inference of dialect grammars M Di Penta, P Lombardi, K Taneja, L Troiano Soft Computing 12, 51-66, 2008 | 16 | 2008 |
| Linked enterprise data model and its use in real time analytics and context-driven data discovery K Taneja, Q Zhu, D Duggan, T Tung 2015 IEEE International Conference on Mobile Services, 277-283, 2015 | 15 | 2015 |
Tao XiePeking University Chair Professor, Chair of Department of Software Science and Engineering@PKUVerified email at pku.edu.cn
