10 citations · 17 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 6 cited
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem o…
cs.SE2018★ 1 cited
Mining Container Image Repositories for Software Configuration and Beyond
Tianyin Xu, Darko Marinov
This paper introduces the idea of mining container image repositories for configuration and other deployment information of software systems. Unlike traditional software repositori…