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