If you made any changes in Pure these will be visible here soon.

Research Output 2011 2019

  • 157 Citations
  • 6 h-Index
  • 16 Conference contribution
  • 6 Article
Filter
Article
2018

An empirical study on weighting techniques for open source software assessment models

Nakano, D., Kamei, Y., Sato, R., Ubayashi, N., Takayama, S. & Iwasaki, T., Jan 1 2018, In : Computer Software. 35, 4, p. 136-143 8 p.

Research output: Contribution to journalArticle

Open source software
Degradation
Industry

Toward automatic program repair using knowledge extracted from stack overflow

Hirose, M., Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2018, In : Computer Software. 35, 4, p. 144-150 7 p.

Research output: Contribution to journalArticle

Websites
Repair
2017
3 Citations (Scopus)

Verifying relational properties of functional programs by first-order refinement

Asada, K., Sato, R. & Kobayashi, N., Apr 1 2017, In : Science of Computer Programming. 137, p. 2-62 61 p.

Research output: Contribution to journalArticle

Recursive functions
Model checking
Experiments
2016
4 Citations (Scopus)

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., Apr 8 2016, In : ACM SIGPLAN Notices. 51, 1, p. 57-68 12 p.

Research output: Contribution to journalArticle

Acoustic waves
2015
2 Citations (Scopus)

Refinement type checking via assertion checking

Sato, R., Asada, K. & Kobayashi, N., Nov 15 2015, In : Journal of information processing. 23, 6, p. 827-834 8 p.

Research output: Contribution to journalArticle

Specifications
Experiments
2011

Ordered types for stream processing of tree-structured data

Sato, R., Suenaga, K. & Kobayashi, N., Jan 1 2011, In : Journal of information processing. 19, p. 74-87 14 p.

Research output: Contribution to journalArticle

Processing