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 |
Software engineering for the internet of things X Larrucea, A Combelles, J Favaro, K Taneja IEEE Software 34 (1), 24-28, 2017 | 103 | 2017 |
DiffGen: Automated regression unit-test generation K Taneja, T Xie 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 103 | 2008 |
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 | 98 | 2011 |
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 | 97 | 2010 |
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 | 80 | 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 | 46 | 2011 |
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 |
Data consistency management C Fu, S Venugeethan, K Taneja US Patent 9,111,012, 2015 | 36 | 2015 |
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 | 27 | 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 | 20 | 2016 |
Testing framework for policy-based workflows K Taneja, T Tung, M Kim US Patent 9,367,434, 2016 | 20 | 2016 |
Data consistency management C Fu, S Venugeethan, K Taneja US Patent 9,727,600, 2017 | 19 | 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 | 18 | 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 |