Indradeep Ghosh

Indradeep Ghosh

Fujitsu Laboratories Ltd - Kanagawa / Japan
Others
AD Scientific Index ID: 4463819
富士通研究所
person_outline Indradeep Ghosh's MOST POPULAR ARTICLES
1-) KLOVER: A symbolic execution and automatic test generation tool for C++ programs Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
2-) SymJS: automatic symbolic testing of JavaScript web applications Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
3-) SymJS: automatic symbolic testing of JavaScript web applications Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
4-) A fast and low cost testing technique for core-based system-on-chip Proceedings of the 35th annual Design Automation Conference, 542-547, 1998
5-) Design for hierarchical testability of RTL circuits obtained by behavioral synthesis IEEE transactions on computer-aided design of integrated circuits and …, 1997