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