Predicate abstraction and CEGAR for higher-order model checking N Kobayashi, R Sato, H Unno Proceedings of the 32nd ACM SIGPLAN conference on Programming language ¡, 2011 | 163 | 2011 |
ICE-based refinement type discovery for higher-order functional programs A Champion, T Chiba, N Kobayashi, R Sato Journal of Automated Reasoning 64 (7), 1393-1418, 2020 | 65 | 2020 |
Towards a scalable software model checker for higher-order programs R Sato, H Unno, N Kobayashi Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and ¡, 2013 | 52 | 2013 |
Temporal verification of higher-order functional programs A Murase, T Terauchi, N Kobayashi, R Sato, H Unno Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of ¡, 2016 | 31 | 2016 |
Verifying relational properties of functional programs by first-order refinement K Asada, R Sato, N Kobayashi Proceedings of the 2015 Workshop on Partial Evaluation and Program ¡, 2015 | 28 | 2015 |
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs T Kuwahara, R Sato, H Unno, N Kobayashi International Conference on Computer Aided Verification, 287-303, 2015 | 21 | 2015 |
Automatically disproving fair termination of higher-order functional programs K Watanabe, R Sato, T Tsukada, N Kobayashi ACM SIGPLAN Notices 51 (9), 243-255, 2016 | 9 | 2016 |
Modular verification of higher-order functional programs R Sato, N Kobayashi Programming Languages and Systems: 26th European Symposium on Programming ¡, 2017 | 8 | 2017 |
Can Abstraction Be Taught? Refactoring-based Abstraction Learning. N Ubayashi, Y Kamei, R Sato MODELSWARD, 429-437, 2018 | 6 | 2018 |
Exploring uncertainty in GitHub OSS projects: when and how do developers face uncertainty? N Ubayashi, H Muraoka, D Muramoto, Y Kamei, R Sato Proceedings of the 40th International Conference on Software Engineering ¡, 2018 | 4 | 2018 |
Modular programming and reasoning for living with uncertainty N Ubayashi, Y Kamei, R Sato Software Technologies: 13th International Conference, ICSOFT 2018, Porto ¡, 2019 | 3 | 2019 |
Git-based integrated uncertainty manager N Ubayashi, T Watanabe, Y Kamei, R Sato 2019 IEEE/ACM 41st International Conference on Software Engineering ¡, 2019 | 2 | 2019 |
Refinement type checking via assertion checking R Sato, K Asada, N Kobayashi Journal of information processing 23 (6), 827-834, 2015 | 2 | 2015 |
iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns. N Ubayashi, Y Kamei, R Sato ICSOFT, 210-218, 2018 | 1 | 2018 |
MoCHi: Software Model Checker for a Higher-Order Functional Language R Sato, H Unno, N Kobayashi | 1 | |
Stack Overflow ¤òÀûÓä·¤¿×Ô動¥Ð¥°ÐÞÕý¤Î検討 廣瀬賢ÐÒ£¬ 鵜ÁÖÉо¸£¬ 亀¾®¾¸¸ß£¬ ×ôÌÙÁÁ½é ¥³¥ó¥Ô¥åþí¥¿ ¥½¥Õ¥È¥¦¥§¥¢ 35 (4), 144-150, 2018 | | 2018 |
OSS ÊÂÇ°Æ·質評価¤Ë¤ª¤±¤ëÖؤ߸¶¤±ÊÖ·¨¤Î実証実験 ÖÐÒ°´óì飬 亀¾®¾¸¸ß£¬ ×ôÌÙÁÁ½é£¬ 鵜ÁÖÉо¸£¬ ¸ßɽÐÞÒ»£¬ ÑÒÆéТ˾ ¥³¥ó¥Ô¥åþí¥¿ ¥½¥Õ¥È¥¦¥§¥¢ 35 (4), 136-143, 2018 | | 2018 |
Toward automatic program repair using knowledge extracted from stack overflow M Hirose, N Ubayashi, Y Kamei, R Sato Computer Software 35 (4), 144-150, 2018 | | 2018 |
An empirical study on weighting techniques for open source software assessment models D Nakano, Y Kamei, R Sato, U Naoyasu, S Takayama, T Iwasaki Computer Software 35 (4), 136-143, 2018 | | 2018 |
OSS ¥×¥í¥¸¥§¥¯¥È¤Ë¤ª¤±¤ë Tangled ¥³¥ß¥Ã¥È¤Î実証·ÖÎö ÈýÆÖ¹çÔ££¬ 亀¾®¾¸¸ß£¬ 鵜ÁÖÉо¸£¬ ×ôÌÙÁÁ½é ÈÕ±¾¥½¥Õ¥È¥¦¥§¥¢¿Æѧ»á´ó»á論Îļ¯/ÈÕ±¾¥½¥Õ¥È¥¦¥§¥¢¿Æѧ»á 編 34, 637-640, 2017 | | 2017 |