Method of IC design optimization via creation of design-specific cells from post-layout patterns P Majumder, B Kumthekar, NR Shah, J Mowchenko, PA Chavda, ... US Patent 7,941,776, 2011 | 267 | 2011 |
Elixir: Effective object-oriented program repair RK Saha, Y Lyu, H Yoshida, MR Prasad 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 266 | 2017 |
Bugs. jar: A large-scale, diverse dataset of real-world java bugs RK Saha, Y Lyu, W Lam, H Yoshida, MR Prasad Proceedings of the 15th international conference on mining software …, 2018 | 203 | 2018 |
Anti-patterns in search-based program repair SH Tan, H Yoshida, MR Prasad, A Roychoudhury Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 172 | 2016 |
Phoenix: Automated data-driven synthesis of repairs for static analysis violations R Bavishi, H Yoshida, MR Prasad Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 87 | 2019 |
Accelerating search-based program repair B Mehne, H Yoshida, MR Prasad, K Sen, D Gopinath, S Khurshid 2018 IEEE 11th international conference on software testing, verification …, 2018 | 35 | 2018 |
Increasing yield using partially-programmable circuits S Yamashita, H Yoshida, M Fujita Workshop on Synthesis And System Integration of Mixed Information …, 2010 | 28 | 2010 |
MuVM: Higher order mutation analysis virtual machine for C S Tokumoto, H Yoshida, K Sakamoto, S Honiden 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 27 | 2016 |
Accurate pre-layout estimation of standard cell characteristics H Yoshida, K De, V Boppana Proceedings of the 41st annual Design Automation Conference, 208-211, 2004 | 25 | 2004 |
FSX: Fine-grained incremental unit test generation for C/C++ programs H Yoshida, S Tokumoto, MR Prasad, I Ghosh, T Uehara Proceedings of the 25th international symposium on software testing and …, 2016 | 24 | 2016 |
KLOVER: automatic test generation for C and C++ programs, using symbolic execution H Yoshida, G Li, T Kamiya, I Ghosh, S Rajan, S Tokumoto, K Munakata, ... IEEE Software 34 (5), 30-37, 2017 | 21 | 2017 |
System and method for automated accurate pre-layout estimation of standard cell characteristics V Boppana, H Yoshida US Patent App. 10/822,158, 2005 | 21 | 2005 |
An energy-efficient patchable accelerator for post-silicon engineering changes H Yoshida, M Fujita Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011 | 20 | 2011 |
Exact minimum logic factoring via quantified Boolean satisfiability H Yoshida, M Ikeda, K Asada 2006 13th IEEE International Conference on Electronics, Circuits and Systems …, 2006 | 16 | 2006 |
On error tolerance and engineering change with partially programmable circuits H Mangassarian, H Yoshida, A Veneris, S Yamashita, M Fujita 17th Asia and South Pacific Design Automation Conference, 695-700, 2012 | 12 | 2012 |
Exact minimum factoring of incompletely specified logic functions via quantified Boolean satisfiability H Yoshida, M Fujita Information and Media Technologies 6 (2), 286-295, 2011 | 12 | 2011 |
Software program repair H Yoshida, SH Tan, MR Prasad US Patent 10,152,406, 2018 | 11 | 2018 |
Generating Succinct Test Cases Using Don't Care Analysis C Nguyen, H Yoshida, M Prasad, I Ghosh, K Sen 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 11 | 2015 |
Logic synthesis for AND-XOR-OR type sense-amplifying PLA H Yoshida, H Yamaoka, M Ikeda, K Asada Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design …, 2002 | 11 | 2002 |
Elixir: An automated repair tool for Java programs RK Saha, H Yoshida, MR Prasad, S Tokumoto, K Takayama, I Nanba Proceedings of the 40th International Conference on Software Engineering …, 2018 | 10 | 2018 |