3 citations · 8 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017
Finding Regressions in Projects under Version Control Systems
Jaroslav Bendik, Nikola Benes, Ivana Cerna
Version Control Systems (VCS) are frequently used to support development of large-scale software projects. A typical VCS repository of a large project can contain various intertwin…
cs.LO2017
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Jaroslav Bendik, Ivana Cerna, Nikola Benes
In various areas of computer science, we deal with a set of constraints to be satisfied. If the constraints cannot be satisfied simultaneously, it is desirable to identify the core…