Author (author)	Title (title)	Journal/Conference	Volume / Number	Pages (pages)	Published date	Impact factor / Acceptance	File
論文誌	Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto	Detecting Non-Behavioral Changes in Java Projects	電子情報通信学会論文誌 D	J104-D(4)	266-274	April 2021		a-maejim_202005_ieice.pdf
論文誌	Yoshiki Higo, and, Shinji Kusumoto	On Tracking Java Methods with Git Mechanisms	Journal of Systems and Software	165		July 2020		110571.pdf
論文誌	Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue	A Metric-Based Approach to Identifying Refactoring Opportunities for Merging Code Clones in a Java Software System	Journal of Software Maintenance and Evolution: Research and Practice	20(6)	435-461	November 2008		0
論文誌	Keizo Miyamoto, Kozo Okano, Shinji Kusumoto	Adequacy Evaluation of Assertions for Java Including Loop Invariants Generated by Daikon	電子情報通信学会論文誌D	J91-D(11)	2721-2723	November 2008		0
Book	Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue	Java in Academia and Research	iConcept Press Ltd.			October 2011		101027012927.pdf
International Conference	Yoshiki Higo, Shinsuke Matsumoto, Shinji Kusumoto, Kazuya Yasuda	Constructing Dataset of Functionally Equivalent Java Methods	the 19th International Conference on Mining Software Repositories			2022		cameraready_20220413.pdf
International Conference	Yoshiki Higo, Shinsuke Matsumoto, Taeyoung Kim, Shinji Kusumoto	How Weak Reference Is Used in Java Projects?	the 27th Asia-Pacific Software Engineering Conference		445-449	December 2020		APSEC2020_published.pdf
International Conference	Ryo Arima, Yoshiki Higo, Shinji Kusumoto	A Study on Inappropriately Partitioned Commits --- How Much and What Kinds of Ip Commits in Java Projects? ---	15th International Conference on Mining Software Repositories		336-340	May 2018		cameraready
International Conference	Kento Shimonaka, Yoshiki Higo, , , Shinji Kusumoto	Towards Automated Generation of Java Methods: a Way of Automated Reuse-Based Programming	Proc. of the 12th IEEE International Workshop on Software Clones		30-36	March 2018		sanerws18iwscmain-id4-p.pdf
International Conference	Naoto Ogura, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto	Hey! Are You Injecting Side Effect?: a Tool for Detecting Purity Changes in Java Methods	Proc. of 24th IEEE International Conference on Program Comprehension (ICPC2016)			May 2016		n-ogura_icpc2016.pdf
International Conference	Yoshiki Higo, Shinji Kusumoto	How Should We Measure Functional Sameness from Program Source Code? an Exploratory Study on Java Methods	In Proc. of the 22nd International Symposium on the Foundations of Software Engineering (FSE2014)		294-305	November 2014		fse14main-mainid118-p.pdf
International Conference	Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, Shinji Kusumoto	Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java	IWIN2014			September 2014		desc
International Conference	Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa	Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation	14th International Conference on Enterprise Information Systems		389-394	June 2012		document.pdf
Domestic Conference	Yukihiro Sasaki, Kozo Okano, Shinji Kusumoto	A Method for Analyzing Java Program Using Pdg and Regression Analysis				November 2013
Domestic Conference	Kazuki Kobayashi, Keizo Miyamoto, Kozo Okano, Shinji Kusumoto	{Derivation of Test Case Constraints for Program Assertion Using Esc/Java2}	ソフトウェア工学の基礎XVII	(36)	35-44	November 2010		投稿PDF
Workshop	Yukihiro Sasaki, Kozo Okano, Shinji Kusumoto	A Method for Analyzing Java Program Using Pdg and Smt Solver				September 2013
Workshop	Keizo Miyamoto, Naoya Hori, Kozo Okano, Shinji Kusumoto	An Infrastructure Tool for Automatic Generation of Invariants in Java with Daikon	第7回情報科学技術フォーラム講演論文集			August 2008		0
Ph.D Thesis	Yuya Fujita	Investigation of Precision and Proposal for Improvement of Consistency Checking of Hashcode Method in Java	大阪大学			February 2015		main.pdf
Ph.D Thesis	Hiroaki Shimba	Formal Verification for Consistency Checking between Equals and Hashcode Methods in Java	大阪大学			February 2014		main.pdf
Ph.D Thesis	Kentaro Hanada	On Implementation as Eclipse Plug-In and Evaluation for Curriculum Management System of a Translater from Ocl into Jml				February 2011		desc
Ph.D Thesis	Kiyoyuki Miyazawa	OCLからJMLへの変換ツールの 対応クラスの拡張と実プロジェクトに対する適用				February 2011		desc
Ph.D Thesis	Muto Yuko	Prototyping and Evaluation of a Visualization Technique for the Coverage of Unit Testing and Static Cheking Using Caller-Callee Relationship between Classes				February 2010		GraduationThesis.pdf