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