16 citations · 49 across the 10 of their papers we have counts for
Showing 2017 · cs.SEShow all
2 papers · 2 filters
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.SE2017★ 16 cited
DiVM: Model Checking with LLVM and Graph Memory
Petr Ročkai, Vladimír Štill, Ivana černá +1
In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of softw…