2 papers
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.AI2016
Tunable Online MUS/MSS Enumeration
Jaroslav Bendik, Nikola Benes, Ivana Cerna +1
In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of…