Volgen
Kunal Taneja
Titel
Geciteerd door
Geciteerd door
Jaar
Software engineering for the internet of things
X Larrucea, A Combelles, J Favaro, K Taneja
IEEE Software 34 (1), 24-28, 2017
1102017
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
1102011
DiffGen: Automated regression unit-test generation
K Taneja, T Xie
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1052008
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
1012010
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
992011
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
822012
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
602006
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
512007
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
472011
Data consistency management
C Fu, S Venugeethan, K Taneja
US Patent 9,111,012, 2015
372015
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
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
282010
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
222016
Testing framework for policy-based workflows
K Taneja, T Tung, M Kim
US Patent 9,367,434, 2016
212016
Data consistency management
C Fu, S Venugeethan, K Taneja
US Patent 9,727,600, 2017
202017
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
Search-based inference of dialect grammars
M Di Penta, P Lombardi, K Taneja, L Troiano
Soft Computing 12, 51-66, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20