TY - RPRT TI - Combining Static Analysis Techniques for Program Comprehension Using Slicito AU - Robert Husák AU - Jan Kofroň AU - Filip Zavoral PY - 2025 UR - https://arxiv.org/abs/2503.15675 ID - 2503.15675 ER -