All 2023 2021 2020 2019 2018 2017 2016 2015
All Journal Article Presentation
Proceedings of APLAS 2021, Springer LNCS
Volume: 13008 Pages: 265-284
10.1007/978-3-030-89051-3_15
情報処理学会論文誌 デジタルプラクティス
Volume: 12-4 Pages: 1-10
170000185593
Proceedings of SAS 2021, Springer LNCS
Volume: 12913 Pages: 405-428
10.1007/978-3-030-88806-0_20
Proceedings of Machine Learning Research
Volume: 153 Pages: 32-46
Lecture Notes in Computer Science (SAS)
Volume: 12913 Pages: 236-260
10.1007/978-3-030-88806-0_12
日本ソフトウェア科学会誌 コンピュータソフトウェア
Volume: 38-4 Pages: 16-22
Proceedings of CAV 2021, Springer LNCS
Volume: 12760 Pages: 75-98
10.1007/978-3-030-81688-9_4
Journal of Automated Reasoning
Volume: 64 Issue: 7 Pages: 1393-1418
10.1007/s10817-020-09571-y
情報処理学会 ソフトウェアエンジニアリングシンポジウム2020 (SES 2020)
Volume: - Pages: 60-68
170000183327
日本ソフトウエア科学会 第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)
Volume: - Pages: 33-38
Proceedings of CPM2020, LIPIcs
Volume: 161
Volume: - Pages: 13-22
Volume: - Pages: 79-87
170000183329
Volume: - Pages: 23-32
情報処理学会 ソフトウェアエンジニアリングシンポジウム2019 (SES 2019)
Volume: - Pages: 87-96
170000150604
日本ソフトウエア科学会 第26回ソフトウェア工学の基礎ワークショップ (FOSE 2019)
Proceedings of PEPM 2019
Volume: - Pages: 47-53
10.1145/3294032.3294081
19th IEEE International Conference on Software Quality, Reliability and Security (QRS 2019)
Volume: - Pages: 288-299
10.1109/qrs.2019.00045
41st International Conference on Software Engineering (ICSE 2019) Companion Proceedings
Volume: - Pages: 95-98
10.1109/icse-companion.2019.00047
Proceedings of the Prague Stringology Conference 2019 (PSC 2019)
Volume: - Pages: 56-68
Proceedings of APLAS 2018, Springer LNCS
Volume: 11275 Pages: 146-156
10.1007/978-3-030-02768-1_8
Proceedings of TACAS 2018, Springer LNCS
Volume: 10805 Pages: 365-384
10.1007/978-3-319-89960-2_20
Computer Software
Volume: 35 Issue: 4 Pages: 144-150
10.11309/jssst.35.144
130007514239
Science of Computer Programming
Volume: 137 Pages: 2-62
10.1016/j.scico.2016.02.007
Proceedings of ESOP 2017, Springer LNCS
Volume: 10201 Pages: 831-854
10.1007/978-3-662-54434-1_31
Proceedings of ICFP 2016
Volume: - Pages: 243-255
10.1145/2951913.2951919
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices
Volume: 51 (1) Pages: 57-68
10.1145/2837614.2837667
Journal of Information Processing
Volume: 23 Issue: 6 Pages: 827-834
10.2197/ipsjjip.23.827
130005109162