5 Publications
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
Miao M, Kummita S, Bodden E, Wei S. Program Feature-Based Benchmarking for Fuzz Testing. Proceedings of the ACM on Software Engineering. 2025;2(ISSTA):527-549. doi:10.1145/3728899
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61108
Kummita S, Miao M, Bodden E, Wei S. Visualization Task Taxonomy to Understand the Fuzzing Internals. ACM Transactions on Software Engineering and Methodology. Published online 2025. doi:10.1145/3718346
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
Kummita S, Piskachev G, Spaeth J, Bodden E. Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON. In: Proceedings of the 2021 International Conference on Code Quality (ICCQ). ; 2021. doi:10.1109/ICCQ51190.2021.9392986
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 23389
Kummita S, Piskachev G. Integration of the Static Analysis Results Interchange Format in CogniCrypt.; 2019.
LibreCat
| Download (ext.)
5 Publications
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61546
Miao M, Kummita S, Bodden E, Wei S. Program Feature-Based Benchmarking for Fuzz Testing. Proceedings of the ACM on Software Engineering. 2025;2(ISSTA):527-549. doi:10.1145/3728899
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61108
Kummita S, Miao M, Bodden E, Wei S. Visualization Task Taxonomy to Understand the Fuzzing Internals. ACM Transactions on Software Engineering and Methodology. Published online 2025. doi:10.1145/3718346
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
Kummita S, Piskachev G, Spaeth J, Bodden E. Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON. In: Proceedings of the 2021 International Conference on Code Quality (ICCQ). ; 2021. doi:10.1109/ICCQ51190.2021.9392986
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 23389
Kummita S, Piskachev G. Integration of the Static Analysis Results Interchange Format in CogniCrypt.; 2019.
LibreCat
| Download (ext.)