Seuraa
Kunal Taneja
Kunal Taneja
Vahvistettu sähköpostiosoite verkkotunnuksessa google.com
Nimike
Viittaukset
Viittaukset
Vuosi
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
1092011
DiffGen: Automated regression unit-test generation
K Taneja, T Xie
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1022008
Software engineering for the internet of things
X Larrucea, A Combelles, J Favaro, K Taneja
IEEE Software 34 (1), 24-28, 2017
992017
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
962010
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
932011
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
782012
Automated detection of API refactorings in libraries
K Taneja, D Dig, T Xie
Proceedings of the 22nd IEEE/ACM international conference on automated …, 2007
722007
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
572006
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
532007
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
462011
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
372009
Data consistency management
C Fu, S Venugeethan, K Taneja
US Patent 9,111,012, 2015
362015
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
272010
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
202016
Data consistency management
C Fu, S Venugeethan, K Taneja
US Patent 9,727,600, 2017
192017
Testing framework for policy-based workflows
K Taneja, T Tung, M Kim
US Patent 9,367,434, 2016
182016
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
182016
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
162008
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
152015
Search-based inference of dialect grammars
M Di Penta, P Lombardi, K Taneja, L Troiano
Soft Computing 12, 51-66, 2008
152008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20