6 citations · 6 across the 4 of their papers we have counts for
4 papers
Combining Static Analysis Techniques for Program Comprehension Using Slicito
Robert Husák, Jan Kofroň, Filip Zavoral
While program comprehension tools often use static program analysis techniques to obtain useful information, they usually work only with sufficiently scalable techniques with limit…
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Jan Bouda, Lukáš Holík, Jan Kofroň +2
MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including…
Data-flow Analysis of Programs with Associative Arrays
David Hauzar, Jan Kofroň, Pavel Baštecký
Dynamic programming languages, such as PHP, JavaScript, and Python, provide built-in data structures including associative arrays and objects with similar semantics-object properti…
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Bara Buhnova, Lucia Happe, Jan Kofroň
The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and appli…